4340 search results - page 496 / 868 » Formal Methods and Cryptography |
160
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
178
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
145
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
182
click to vote
CISC
2007
Springer
16 years 27 days ago
2007
Springer
We formalize a generic method of constructing efficient group signatures, specifically, we define new notions of unlinkable randomizable signature, indirectly signable signature ...
166
click to vote
FORMATS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...