950 search results - page 56 / 190 » Software model checking with SPIN |
CAV
2003
Springer
14 years 26 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
ISSTA
2009
ACM
14 years 9 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
ASE
2005
13 years 7 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
FSTTCS
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
IWSSD
2000
IEEE
14 years 1 days ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...