Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, S. Tasiran  Home/Search
Context Related
| berkeley.edu/~shaz/cav98.mocha.ps upenn.edu/~alur/Cav98.ps.gz berkeley.edu/HomePages/tah/P...mocha.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~shaz...publications (more) From: berkeley.edu/HomePages/ta...mocha (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we describe the toolkit MOCHA in which the proposed approach is being implemented. The input language of MOCHA is a machine readable variant of reactive modules. The following functionalities are currently being supported: (Update)
Cited by: More
Automatic Generation of Assumptions for Modular Verification of .. - Riva, Tuya (2006) (Correct)
Symbolic Model Checking for Asynchronous Boolean Programs - Cook, Kroening, Sharygina (2005) (Correct)
Automata-theoretic Decision of Timed Games - Marco Faella Salvatore (2002) (Correct)
Similar documents (at the sentence level):
29.3%: MOCHA: Modularity in Model Checking - Alur, Henzinger, Mang, Qadeer.. (1998) (Correct)
Active bibliography (related documents): More All
0.1: Reactive Modules - Alur, Henzinger (1999) (Correct)
0.1: "Next" Heuristic For On-the-fly Model Checking - Alur, Wang (1999) (Correct)
0.1: "Next" Heuristic For On-The-Fly Model Checking - Alur, Wang (1999) (Correct)
Similar documents based on text: More All
0.3: Formal Specification and Verification of a Dataflow.. - Thomas Henzinger Xiaojun (1999) (Correct)
0.3: MOCHA: A Model Checking Tool that Exploits Design.. - Alur, de Alfaro.. (2001) (Correct)
0.3: You Assume, We Guarantee: Methodology and Case Studies - Henzinger, Qadeer, Rajamani (1998) (Correct)
Related documents from co-citation: More All
24: Reactive Modules - Alur, Henzinger - 1996
23: we guarantee: Methodology and case studies (context) - Henzinger, Qadeer et al. - 1998
22: Alternating-time temporal logic - Alur, Henzinger et al. - 1997
BibTeX entry: (Update)
R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tapcsiran. Mocha : Modularity in Model Checking. Submitted to the 10th International Conference on Computer-Aided Verification, 1998. http://citeseer.ist.psu.edu/article/alur98mocha.html More
@inproceedings{ alur98mocha,
author = "Rajeev Alur and Thomas A. Henzinger and Freddy Y. C. Mang and Shaz Qadeer and Sriram K. Rajamani and Serdar Tasiran",
title = "{MOCHA}: Modularity in Model Checking",
booktitle = "Computer Aided Verification",
pages = "521-525",
year = "1998",
url = "citeseer.ist.psu.edu/article/alur98mocha.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean-function manipulation - Bryant - 1986
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1992
718 Distributed Algorithms (context) - Lynch - 1996
716 Parallel program design: A foundation (context) - Chandy, Misra - 1988
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
539 The temporal logic of programs (context) - Pnueli - 1977
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
119 Alternating-time temporal logic - Alur, Henzinger et al. - 1997
108 Reactive modules - Alur, Henzinger - 1996
67 Modularity for timed and hybrid systems - Alur, Henzinger - 1997
41 we guarantee: Methodology and case studies (context) - Henzinger, Qadeer et al. - 1998
34 The synchronous programming language ESTEREL: design (context) - Berry, Gonthier - 1988
16 Efficient formal design verification: data structures + algo.. - Ranjan, Aziz et al. - 1995
10 Symbolic exploration of transition hierarchies - Alur, Henzinger et al. - 1998
2 Tix Home Page (context) - Technologies
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cad.eecs.berkeley.edu/~shaz/publications.html): More
Formal Verification of FIRE: A Case Study - Jae-Young Jang (1997) (Correct)
An Assume-Guarantee Rule For Checking Simulation - Henzinger, Qadeer, Rajamani, .. (1998) (Correct)
VIS: A System for Verification and Synthesis - Brayton, Hachtel.. (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC