Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMATH Open1176.68047OpenAlexW2496613029MaRDI QIDQ5898623FDOQ5898623

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

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

Mathematics Subject Classification ID

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

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)