Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions
No abstract available.
DOI 10.1007/978-981-97-8943-6_6
Related papers
- A Two-Phase Approach for Conditional Floating-Point Verification TACAS 2021
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Syntactically Convex Model-Based Projection for Linear Real Arithmetic TACAS 2026
- Certified Verification for Algebraic Abstraction CAV 2023
- A Non-linear Arithmetic Procedure for Control-Command Software Verification TACAS 2018
- Sound compilation of reals POPL 2014
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic TACAS 2022
- Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks TACAS 2019