%0 Conference Proceedings
%T Integrating RAM and Disk Based Verification within the Mur$\varphi$ Verifier
%A Della Penna, Giuseppe
%A Intrigila, Benedetto
%A Melatti, Igor
%A Tronci, Enrico
%A Venturini Zilli, Marisa
%Y Geist, D.
%Y Tronci, E.
%S 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
%S Lecture Notes in Computer Science
%D 2003
%V 2860
%I Springer
%@ 3-540-20363-X
%F DellaPenna_etal2003
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=85), last updated on Sat, 24 Nov 2012 14:26:37 +0100
%X 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.
%R 10.1007/978-3-540-39724-3_25
%U http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2003c.pdf
%U https://doi.org/10.1007/978-3-540-39724-3_25
%P 277-282