3909 search results - page 190 / 782 » Extreme Model Checking |
CORR
2008
Springer
15 years 2 months ago
2008
Springer
ENTCS
2008
15 years 2 months ago
2008
125
click to vote
FAC
2008
15 years 2 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
CORR
2006
Springer
15 years 2 months ago
2006
Springer
131
click to vote
CSL
2006
Springer
15 years 2 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...