2873 search results - page 15 / 575 » Model Checking and the Mu-calculus |
94
Voted
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
89
Voted
FBT
2000
15 years 3 months ago
2000
136
click to vote
MOVEP
2000
15 years 5 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
107
click to vote
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
124
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...