Automatic Verification of Finite Precision Implementations of Linear Controllers
No abstract available.
Related papers
- Sound compilation of reals POPL 2014
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach POPL 1983
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata PLDI 2024
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic TACAS 2022
- Robustness Analysis of Finite Precision Implementations APLAS 2013