Symbolic Model Checking

Download PDF
Open Webpage

Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen

Published: 1996, Last Modified: 05 Nov 2025CAV 1996EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Symbolic model checking is a powerful formal specification and verification method that has been applied successfully in several industrial designs. Using symbolic model checking techniques it is possible to verify industrial-size finite state systems. State spaces with up to 1030 states can be exhaustively searched in minutes. Models with more than 10120 states have been verified using special techniques.