RVT

swMATH31320MaRDI QIDQ43031FDOQ43031

Author name not available (Why is that?)

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

Described by source

• Regression verification for unbalanced recursive functions

Cited In (4)

• 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

This page was built for software: RVT