PT Unknown AU Della Penna, G Intrigila, B Melatti, I Tronci, E Venturini Zilli, M TI Integrating RAM and Disk Based Verification within the Mur$\varphi$ Verifier SE 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 PY 2003 BP 277 EP 282 VL 2860 DI 10.1007/978-3-540-39724-3_25 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. ER