HiFrog: SMT-based Function Summarization for Software Verification
No abstract available.
Related papers
- Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials OOPSLA 2024
- Algorithmic Verification of Systems Software Using SMT Solvers SAS 2009
- SMT-Based Verification of Software Countermeasures against Side-Channel Attacks TACAS 2014
- Kratos2: An SMT-Based Model Checker for Imperative Programs CAV 2023
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025
- X-by-Construction: Towards Ensuring Non-functional Properties in by-Construction Engineering Onward! 2025
- Symbolic optimization with SMT solvers POPL 2014
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013