Work

Proof-guided underapproximation-widening for multi-process systems

Year: 2005

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/1047659.1040316

Authors: Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald

Institutions: Technion – Israel Institute of Technology, 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: W3021770639

FWCI:

Cites: 17

Cited by: 10

Related to: 10