Work

Thread-Modular Model Checking

Year: 2003

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-44829-2_14

Authors: Cormac Flanagan, Shaz Qadeer

Institutions: Hewlett-Packard (United States), Microsoft (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1562915062

FWCI: 6.356

Cites: 16

Cited by: 173

Related to: 10