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
- Modular verification of procedure equivalence in the presence of memory allocation
- Towards modularly comparing programs using automated theorem provers
- Taking satisfiability to the next level with Z3 (abstract)
- Product programs and relational program logics
- Verifying procedural programs via constrained rewriting induction
- Verification by gambling on program slices
- Algorithmic games for full ground references
- Automating regression verification of pointer programs by predicate abstraction
- eVolCheck: incremental upgrade checker for C
- Is Your Software on Dope?
- Program equivalence by circular reasoning
- A language-independent proof system for full program equivalence
- Relational program reasoning using compiler IR
This page was built for software: SymDiff
