Space Reductions for Model Checking Quasi-Cyclic Systems

Download PDF
Open Webpage

Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff

Published: 2003, Last Modified: 22 Mar 2026EMSOFT 2003EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief obstacle to its broad acceptance. One strategy for making further progress is to exploit characteristics of classes of systems to develop domain-specific reductions.