Incremental verification using trace abstraction

DOI10.1007/978-3-319-99725-4_22zbMath1511.68168OpenAlexW2889163403MaRDI QIDQ6045018

Matthias Heizmann, Bat-Chen Rothenberg, Daniel Dietsch

Publication date: 26 May 2023

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99725-4_22

Mathematics Subject Classification ID

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

Related Items (3)

Reusing predicate precision in value analysis ⋮ SMT-based verification of program changes through summary repair ⋮ Incremental and Modular Context-sensitive Analysis

This page was built for publication: Incremental verification using trace abstraction