125
click to vote
SPIN
15 years 6 months ago
2007 Springer 
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
86
Voted
SPIN
15 years 6 months ago
2007 Springer 
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...
SPIN
15 years 6 months ago
2007 Springer 
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
101
click to vote
SPIN
15 years 6 months ago
2007 Springer 
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
SPIN
15 years 6 months ago
2007 Springer 
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
|
Theoretical Computer Science