Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5901913
DOI10.1007/b94790zbMath1202.68255OpenAlexW3146639584MaRDI QIDQ5901913
Mooly Sagiv, Greta Yorsh, Thomas W. Reps
Publication date: 15 May 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94790
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Combining Model Checking and Deduction, Invariant inference with provable complexity from the monotone theory, Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT, SAT-based invariant inference and its relation to concept learning, Abstract interpretation of microcontroller code: intervals meet congruences, Loop Summarization Using Abstract Transformers, Memory-efficient fixpoint computation, From invariant checking to invariant inference using randomized search, Loop summarization using state and transition invariants, Transfer Function Synthesis without Quantifier Elimination, Range and Set Abstraction using SAT, View-Augmented Abstractions, Sound and Complete Abstract Graph Transformation, A new abstraction framework for affine transformers
Uses Software
