Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68175OpenAlexW2739785336MaRDI QIDQ5899062

Daniel Kroening, Natasha Sharygina

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

SAT-Based Model Checking, Loop Summarization Using Abstract Transformers, Loop summarization using state and transition invariants, Verification and falsification of programs with loops using predicate abstraction

Uses Software

• Cogent
• SatAbs
• ASTREE