Proving the Correctness of the Implementation of a Control-Command Algorithm
No abstract available.
Related papers
- Property models: from incidental algorithms to reusable components GPCE 2008
- Skipping Refinement CAV 2015
- A Non-linear Arithmetic Procedure for Control-Command Software Verification TACAS 2018
- Automatic synthesis of parallel unix commands and pipelines with KumQuat PPoPP 2022
- Forward build systems, formally CPP 2022
- Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning PLDI 2023
- Static Backward Slicing of Non-deterministic Programs and Systems TOPLAS 2018
- A new foundation for control dependence and slicing for modern program structures TOPLAS 2007