Work

Dynamic partial-order reduction for model checking software

Year: 2005

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/1047659.1040315

Authors: Cormac Flanagan, Patrice Godefroid

Institutions: University of California, Santa Cruz, Alcatel-Lucent (France)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2998259759

FWCI: 2.192

Cites: 16

Cited by: 164

Related to: 10