68 search results - page 7 / 14 » Scalable Distributed On-the-Fly Symbolic Model Checking |
CONCUR
1997
Springer
14 years 1 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
— As the ability to produce a large number of small, simple robotic agents improves, it becomes essential to control the behavior of these robots in such a way that the sum of th...
LICS
2003
IEEE
14 years 2 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...
CAV
2006
Springer
14 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...
ICTAC
2010
Springer
13 years 8 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...