Mocha: A Model Checking Tool that Exploits Design Structure (2001)

by R. Alur , L. de Alfaro , R. Grosu , T. A. Henzinger , M. Kang , R. Majumdar , F. Mang , C. M. Kirsch , B. Y. Wang
Venue:IN ICSE 01: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Citations:16 - 8 self