SymDiff
From MaRDI portal
Software:25011
swMATH13093MaRDI QIDQ25011FDOQ25011
Author name not available (Why is that?)
Cited In (18)
- Abstract semantic diffing of evolving concurrent programs
- Verifying relative safety, accuracy, and termination for program approximations
- Regression verification for unbalanced recursive functions
- Product programs in the wild: retrofitting program verifiers to check information flow security
- A self-certifying compilation framework for WebAssembly
- eVolCheck: Incremental Upgrade Checker for C
- Product programs and relational program logics
- Verification by gambling on program slices
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation
- Taking Satisfiability to the Next Level with Z3
- Algorithmic games for full ground references
- Automating regression verification of pointer programs by predicate abstraction
- Is Your Software on Dope?
- Towards Modularly Comparing Programs Using Automated Theorem Provers
- Program equivalence by circular reasoning
- A language-independent proof system for full program equivalence
- Relational program reasoning using compiler IR
- Verifying Procedural Programs via Constrained Rewriting Induction
This page was built for software: SymDiff
