Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

84

Voted

CAV
1998
Springer

75views Hardware» more CAV 1998»

MOCHA: Modularity in Model Checking

15 years 7 months ago

MOCHA: Modularity in Model Checking

Download www.eecs.berkeley.edu

Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Man

Real-time Traffic

CAV 1998 | Hardware |

claim paper

Related Content

» JMOCHA A Model Checking Tool that Exploits Design Structure

» Automated Refinement Checking for Asynchronous Processes

» LTL Model Checking for Modular Petri Nets

» On the complexity of practical ATL model checking

» Efficient modular glass box software model checking

» Model Checking Safety Properties in Modular HighLevel Nets

» METAMOC Modular Execution Time Analysis using Model Checking

» Interface Grammars for Modular Software Model Checking

» Modular Verification of Open Features Using ThreeValued Model Checking

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	CAV
Authors	Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran

Comments (0)