swMATH13093MaRDI QIDQ25011FDOQ25011
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-642-31424-7_54
Cited In (42)
- Abstract semantic diffing of evolving concurrent programs
- PatEC
- 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
- TASS_
- HECTOR
- Cetus
- eVolCheck
- CVT
- K-Java
- Limi
- Liss
- CoVaC
- ACCEPT
- Chisel
- EnerJ
- FlexJava
- Green
- JBMC
- coFJ
- RVT
- CIVL
- Rely
- coneqct
- Crellvm
- Loopy
- WebAssembly
- 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
