Correct and Complete Symbolic Execution for Free
- 13 November 2024
- book chapter
- Published by Springer Nature
- p. 237-255
Abstract
No abstract availableKeywords
All Related Versions
This publication has 23 references indexed in Scilit:
- Symbolic Semantics for Probabilistic Programs2023
- Gillian, Part II: Real-World Verification for JavaScript and C2021
- Symbolic execution formally explainedFormal Aspects of Computing, 2021
- On the Nature of Symbolic Execution2019
- Some undecidable properties of SOS specificationsJournal of Logical and Algebraic Methods in Programming, 2017
- Deductive Software Verification – The KeY Book2016
- All-Path Reachability Logic2014
- A Generic Framework for Symbolic Execution2013
- Symbolic Execution with Separation Logic2005
- Transition system specifications with negative premisesTheoretical Computer Science, 1993