Incremental verification using trace abstraction

DOI10.1007/978-3-319-99725-4_22MaRDI QIDQ6045018zbMATH OpenOpenAlexFDO

Authors Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann

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

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

Recommendations

• eVolCheck: incremental upgrade checker for C
• Trace Abstraction-Based Verification for Uninterpreted Programs
• Refinement of Trace Abstraction
• scientific article; zbMATH DE number 1701753
• Formal Methods at the Crossroads. From Panacea to Foundational Support

Cited in

(8)

• Reusing predicate precision in value analysis
• scientific article; zbMATH DE number 1701753 (Why is no real title available?)
• Property directed equivalence via abstract simulation
• Incremental and modular context-sensitive analysis
• eVolCheck: incremental upgrade checker for C
• SMT-based verification of program changes through summary repair
• Trace Abstraction-Based Verification for Uninterpreted Programs
• The trace modality

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6045018)