Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community.

Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi

Browse the full FMCAD paper archive.