FMCAD
1998
Springer
13 years 8 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
CICLING
2004
Springer
13 years 10 months ago
2004
Springer
Qualitative variables take symbolic values, such as hot, shoe, Europe or France. Sometimes, the values may be arranged in layers or levels of detail. For instance, the variable pla...
TACAS
2007
Springer
13 years 10 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...