A Tool for Symbolic Program Verification and Abstration
No abstract available.
Related papers
- TRACER: A Symbolic Execution Tool for Verification CAV 2012
- Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution) TACAS 2019
- Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning Onward! 2011
- Sound Gradual Verification with Symbolic Execution POPL 2024
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification SAS 2019
- Higher order symbolic execution for contract verification and refutation JFP 2017
- Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions TOPLAS 2019