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
• Publication:4934286
• 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
• MODULAR RANKING ABSTRACTION
• Automated Technology for Verification and Analysis
• Model checking procedural programs
• Loop Summarization and Termination Analysis
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Model Checking Recursive Programs with Exact Predicate Abstraction
• Comparing abstraction refinement algorithms

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)