87 search results - page 11 / 18 » AlPiNA: A Symbolic Model Checker |
150
click to vote
ASWEC
2006
IEEE
15 years 11 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
237
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
168
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
168
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
262
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...