TY  - CONF
AU  - Della Penna, Giuseppe
AU  - Intrigila, Benedetto
AU  - Melatti, Igor
AU  - Tronci, Enrico
AU  - Venturini Zilli, Marisa
ED  - Geist, D.
ED  - Tronci, E.
PY  - 2003
DA  - 2003//
TI  - Integrating RAM and Disk Based Verification within the Mur$\varphi$ Verifier
BT  - Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
T3  - Lecture Notes in Computer Science
SP  - 277
EP  - 282
VL  - 2860
PB  - Springer
AB  - We present a verification algorithm that can automatically switch from RAM based verification to disk based verification without discarding the work done during the RAM based verification phase. This avoids having to choose beforehand the proper verification algorithm. Our experimental results show that typically our integrated algorithm is as fast as (sometime faster than) the fastest of the two base (i.e. RAM based and disk based) verification algorithms.
SN  - 3-540-20363-X
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2003c.pdf
UR  - https://doi.org/10.1007/978-3-540-39724-3_25
DO  - 10.1007/978-3-540-39724-3_25
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=85), last updated on Sat, 24 Nov 2012 14:26:37 +0100
ID  - DellaPenna_etal2003
ER  -