862 search results - page 160 / 173 » Model Checking Interrupt-Dependent Software |
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
SIGSOFT
2004
ACM
14 years 1 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 2 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...
FOSSACS
2007
Springer
14 years 1 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 27 days ago
2003
Springer
rized Veriļ¬cation by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the Ļ-Calculus . . . . . . . . . . . . ....