Program Verification by Symbolic Execution of Hyperfinite Ideal Machines
Abstract elided by the publisher.
Related papers
- Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification VMCAI 2026
- A lightweight symbolic virtual machine for solver-aided host languages PLDI 2014
- SMLP: Symbolic Machine Learning Prover CAV 2024
- Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification CAV 1991
- Rewriting for Symbolic Execution of State Machine Models CAV 2001
- Quantitative Robustness for Vulnerability Assessment PLDI 2024
- Islaris: verification of machine code against authoritative ISA semantics PLDI 2022
- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) TACAS 2022