Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMath1176.68047OpenAlexW2496613029MaRDI QIDQ5898623

Amir Pnueli, Ittai Balaban, Ariel Cohen

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

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

Related Items

Loop Summarization and Termination Analysis, Loop summarization using state and transition invariants