Work

JMOCHA: a model checking tool that exploits design structure

Year: 2001

Type: article

DOI: 10.5555/381473.381748

Authors: Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. KANG, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, B. Y. Wang

Institutions: University of California, Berkeley, Stony Brook University, University of Pennsylvania

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2133693398

FWCI: 6.068

Cites: 13

Cited by: 62

Related to: 10