×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [program verifiers]
K overview
65 views
© 2015 Carnegie Mellon University Building Program Verifiers from Compilers and Theorem Provers Software Engineering Institute Carnegie Mellon University
222 views
Martin Henz and Aquinas Hobor School of Computing National University of Singapore
214 views
Differential and cross-version program verification Shuvendu Lahiri Research in Software Engineering (RiSE), Microsoft Research, Redmond, WA USA Halmstad
216 views
Extended Static Checking for JAVA
62 views
Michael Ernst, page 1 Static and dynamic analysis: synergy and duality Michael Ernst CSE 503, Winter 2010 Lecture 1
224 views
Teaching Experience: Logic and Formal Methods with Coq
45 views