CoVaC

swMATH21472MaRDI QIDQ33279FDOQ33279

Author name not available (Why is that?)

Official website: https://rd.springer.com/chapter/10.1007%2F978-3-540-68237-0_5

Cited In (21)

• Diffy
• PatEC
• Constraint-based relational verification
• \textsc{Diffy}: inductive reasoning of array programs using difference invariants
• Modular verification of procedure equivalence in the presence of memory allocation
• Relational bytecode correlations
• Product programs and relational program logics
• Inter-program Properties
• Beyond 2-safety: asymmetric product programs for relational program verification
• TASS_
• ATGen
• Cetus
• HMC
• SymDiff
• PrologCheck
• JayHorn
• RVT
• CIVL
• WebAssembly
• Relational program reasoning using compiler IR
• eThor

This page was built for software: CoVaC