8 search results - page 2 / 2 » Modular Algorithms for Heterogeneous Modal Logics |
ESOP
2010
Springer
14 years 1 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
ISSTA
2004
ACM
13 years 9 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
CAV
2009
Springer
13 years 8 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...