×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [abstract interpreter]
Home >
abstract interpreter
Demand-driven inference of loop invariants in a theorem prover K. Rustan M. Leino Microsoft Research, Redmond, WA, USA joint work with Francesco Logozzo.
218 views
1 How to transform an abstract analyzer into an abstract verifier.
224 views
Synthesis, Analysis, and Verification Lecture 09a
43 views
COT 4600 Operating Systems Spring 2011
45 views