RENEE: A FORMAL METHODOLOGY AND TOOLCHAIN FOR SCALABLE VERIFICATION OF BINARY CODE USING DEPENDENT TYPE THEORY

Virginia Polytechnic Institute & State University

Investigators