4036 search results - page 437 / 808 » Formal Methods |
182
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
160
click to vote
FMCO
2005
Springer
16 years 9 days ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
153
click to vote
FMCAD
2004
Springer
16 years 4 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
210
click to vote
FORMATS
2004
Springer
16 years 4 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
171
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...