Abstraction modulo stability

DOI10.1007/S10703-024-00461-2MaRDI QIDQ6938569zbMATH OpenFDO

Authors Anna Becchi, Alessandro Cimatti

Publication date 25 August 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10703-024-00461-2

zbMATH Keywords

abstractionrelay-based circuitsstabilitytemporal logicstimed transition systems

Mathematics Subject Classification ID

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

Cites work

• A symbolic approach to predicate abstraction.
• Abstraction Modulo Stability for Reverse Engineering
• Calculi for synchrony and asynchrony
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• scientific article; zbMATH DE number 3651705 (Why is no real title available?)
• PPLite: zero-overhead encoding of NNC polyhedra
• SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
• Specification in CTL + past for verification in CTL.
• Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
• Synthesis of P-stable abstractions
• The Daikon system for dynamic detection of likely invariants
• Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings. Pa

This page was built for publication: Abstraction modulo stability

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