Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773MaRDI QIDQ5898623zbMATH OpenOpenAlexFDO

Authors Ittai Balaban, Ariel Cohen, Amir Pnueli

Publication date 12 February 2007

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Ranking Abstractions
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Abstract recursion and intrinsic complexity
• Comparing abstraction refinement algorithms
• scientific article; zbMATH DE number 1390021
• Automated Technology for Verification and Analysis
• Recursive programs and the hierarchy of their models
• scientific article; zbMATH DE number 1456960
• scientific article; zbMATH DE number 3845026

Cited in

(8)

• Loop summarization using state and transition invariants
• Comparing abstraction refinement algorithms
• Loop Summarization and Termination Analysis
• Model checking procedural programs
• MODULAR RANKING ABSTRACTION
• Model Checking Recursive Programs with Exact Predicate Abstraction
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Automated Technology for Verification and Analysis

This page was built for publication: Verification, Model Checking, and Abstract Interpretation

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