Work

Symbolic Model Checking

Year: 1993

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-1-4615-3190-6_3

Author: Kenneth L. McMillan

Institutions: Carnegie Mellon University Australia, Carnegie Mellon University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2344671925

FWCI: 13.37

Cites: 2

Cited by: 274

Related to: 10