Abstraction Modulo Stability for Reverse Engineering

DOI10.1007/978-3-031-13185-1_23MaRDI QIDQ6487326zbMATH OpenFDO

Authors Anna Becchi, Alessandro Cimatti

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-13185-1_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Abstraction and abstraction refinement
• Modal Abstractions of Concurrent Behaviour
• Synthesis of P-stable abstractions
• The abstract state machines method for high-level system design and analysis
• scientific article; zbMATH DE number 1863177

Cites work

• A symbolic approach to predicate abstraction.
• Calculi for synchrony and asynchrony
• Specification in CTL + past for verification in CTL.
• Synthesis of P-stable abstractions
• The Daikon system for dynamic detection of likely invariants
• The MathSAT5 SMT solver

Cited in

(2)

• Abstraction modulo stability
• Preface of the special issue on the conference on computer-aided verification 2022

This page was built for publication: Abstraction Modulo Stability for Reverse Engineering

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