RVT

MaRDI QIDQ43031swMATHFDO

Official website http://ie.technion.ac.il/~ofers/rvt/

Described by source

• Regression verification for unbalanced recursive functions

Cited in

(5)

• Product programs in the wild: retrofitting program verifiers to check information flow security
• Modular verification of procedure equivalence in the presence of memory allocation
• SymDiff
• CoVaC
• WebAssembly

This page was built for software: RVT