Work

Bounded Model Checking and Induction: From Refutation to Verification

Year: 2003

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-45069-6_2

Authors: Leonardo de Moura, Harald Rueß, Maria Sorea

Institution: SRI International

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, National Aeronautics and Space Administration, Universität Ulm, Defense Advanced Research Projects Agency, Air Force Research Laboratory

Award: ITR: Static Checking in an Extended Type System

OpenAlex ID: W1552280794

FWCI: 9.426

Cites: 21

Cited by: 165

Related to: 10