4341 search results - page 221 / 869 » Quantitative Model checking |
ENTCS
2008
15 years 3 months ago
2008
127
click to vote
FAC
2008
15 years 3 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 3 months ago
2006
Springer
132
click to vote
CSL
2006
Springer
15 years 3 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...
IFE
2008
15 years 3 months ago
2008