Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMATH Open1180.68175OpenAlexW2739785336MaRDI QIDQ5899062FDOQ5899062

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

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Interpolant-Based Transition Relation Approximation
• Computer Aided Verification
• Predicate abstraction of ANSI-C programs using SAT

Mathematics Subject Classification ID

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

Cited In (5)

• Loop summarization using state and transition invariants
• Loop Summarization Using Abstract Transformers
• Verification and falsification of programs with loops using predicate abstraction
• SAT-Based Model Checking
• Proving LTL Properties of Bitvector Programs and Decompiled Binaries

Uses Software

• Cogent
• SatAbs
• ASTREE

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899062)