Computer Aided Verification

DOI10.1007/B98490MaRDI QIDQ5312904zbMATH OpenOpenAlexFDO

Authors Mooly Sagiv, Reinhard Wilhelm, Thomas Reps

Publication date 25 August 2005

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Logical Interpretation: Static Program Analysis Using Theorem Proving
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• scientific article; zbMATH DE number 1497823
• scientific article; zbMATH DE number 1617328
• scientific article; zbMATH DE number 1953280

Cited in

(17)

• Programming in three-valued logic
• Non-disjunctive Numerical Domain for Array Predicate Abstraction
• Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
• Algebraic program analysis
• scientific article; zbMATH DE number 1617328 (Why is no real title available?)
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• Abstraction Refinement for Quantified Array Assertions
• Data structures for symbolic multi-valued model-checking
• The Spotlight Principle
• A logic of reachable patterns in linked data-structures
• Bounded model checking of infinite state systems
• Monotonic Abstraction for Programs with Dynamic Memory Heaps
• scientific article; zbMATH DE number 1956566 (Why is no real title available?)
• Verifying Reference Counting Implementations
• Recent progress in program analysis
• Sorting algorithms in \textsc{MOQA}

Describes a project that uses

Uses Software

• SLAM

This page was built for publication: Computer Aided Verification

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