×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of gakegui
Chp 1 - Planarity
32 views
Drawing Graphs With Dot (DotGuide)
41 views
Abstractions From Proofs (HENZINGER, T. a. Et Al., 2004)
8 views
Symbolic Model Checking. Doctor Thesis (MCMILLIAN, K. L., 1992)
60 views
Chp 2 - Crossings
224 views
Verbs - Verifiation of Finite State Systems Based on Bounded Correctness Checking
215 views
Symbolic Model Checking (PISTORE, M.; ROVERI, M., 2004)
219 views
A Practical and Complete Aproach to Predicate Refinement (JAHALA, R.; McMILLAN, K. L., 2005)
212 views
An Interpolation Theorem Prover (McMILLAN, K. L., 2005)
217 views
Applications of Craig Interpolants in Model Checking. (MCMillan, K. L, 2005)
215 views