56 search results - page 11 / 12 » Efficient Symbolic State-Space Construction for Asynchronous... |
164
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
TRANSCI
2008
14 years 9 months ago
2008
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
113
Voted
TITB
2010
14 years 4 months ago
2010
Mobile sensor-based systems are emerging as promising platforms for healthcare monitoring. An important goal of these systems is to extract physiological information about the subj...
103
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...