Mocha: A Model Checking Tool that Exploits Design Structure (2001)
Cached
Download Links
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 |
BibTeX
@INPROCEEDINGS{Alur01mocha:a,
author = {R. Alur and L. de Alfaro and R. Grosu and T. A. Henzinger and M. Kang and R. Majumdar and F. Mang and C. M. Kirsch and B. Y. Wang},
title = {Mocha: A Model Checking Tool that Exploits Design Structure},
booktitle = {IN ICSE 01: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING},
year = {2001},
pages = {835--836},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 1130 | The model checker SPIN - Holzmann - 1997 |
| 514 | Bandera: Extracting finite-state models from Java source code - Corbett, Dwyer, et al. - 2000 |
| 464 | Symbolic model checking: An approach to the state explosion problem - Mcmillan - 1992 |
| 348 | Alternating-time temporal logic - Alur, Henzinger, et al. |
| 252 | Henzinger T: Reactive modules - Alur - 1999 |
| 138 | MOCHA: Modularity in model checking - Alur, Henzinger, et al. - 1998 |
| 92 | Computer-aided verification - Clarke, Kurshan - 1996 |
| 87 | Rajamani S: You assume, we guarantee: Methodology and case studies - Henzinger, Qadeer |
| 44 | et al. VIS: a System for Verification and Synthesis - Brayton - 1996 |
| 37 | A classification of symbolic transitions systems - Henzinger, Raskin - 2005 |
| 14 | Next” Heuristic for On-the-Fly Model Checking - Alur, Wang - 1999 |
| 10 | Automated refinement checking for asynchronous processes - Alur, Grosu, et al. - 2000 |
