Work

Concurrent Bounded Model Checking

Year: 2015

Type: article

Source: ACM SIGSOFT Software Engineering Notes

DOI: 10.1145/2693208.2693240

Authors: Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pǎsǎreanu

Institutions: Queen Mary University of London, Ames Research Center, 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

Funder: Engineering and Physical Sciences Research Council

Award: Compositional Security Analysis for Binaries

OpenAlex ID: W2037711733

FWCI: 0.304

Cites: 38

Cited by: 9

Related to: 10