Rewriting for Symbolic Execution of State Machine Models
No abstract available.
DOI 10.1007/3-540-44585-4_41
Related papers
- Partial evaluation of machine code OOPSLA 2015
- Model-assisted machine-code synthesis OOPSLA 2017
- Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis CGO 2026
- Eager Abstraction for Symbolic Model Checking CAV 2018
- SMLP: Symbolic Machine Learning Prover CAV 2024
- Hybrid Path-Sums for Hybrid Quantum Programs PLDI 2026
- Program Verification by Symbolic Execution of Hyperfinite Ideal Machines CAV 1990
- Certified ACKBO CPP 2019