The SeaHorn Verification Framework
No abstract available.
Related papers
- SeaHorn: A Framework for Verifying C Programs (Competition Contribution) TACAS 2015
- A data-driven CHC solver PLDI 2018
- Lazy Self-composition for Security Verification CAV 2018
- Show Me The Money: An Exercise in Proof-Driven Software Understanding CAV 2026
- Inductive Predicate Synthesis Modulo Programs ECOOP 2024
- The Modular Framework of Computer-Aided Verification CAV 1990
- Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification SAS 2017
- An Object-Oriented Framework for the Formal Verification of Processors ECOOP 1995