950 search results - page 171 / 190 » Software model checking with SPIN |
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
āTraviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we brieļ¬y outline recent extensions of Traviando towards a...
ATVA
2006
Springer
14 years 11 days ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested āstack of stacksā structure. These systems may be us...
FOSSACS
2003
Springer
14 years 1 months ago
2003
Springer
rized Veriļ¬cation by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the Ļ-Calculus . . . . . . . . . . . . ....