gakegui documents

Chp 1 - Planarity
Documents Chp 1 - Planarity
Drawing Graphs With Dot (DotGuide)
Documents Drawing Graphs With Dot (DotGuide)
Abstractions From Proofs (HENZINGER, T. a. Et Al., 2004)
Documents Abstractions From Proofs (HENZINGER, T. a. Et Al., 2004)
Symbolic Model Checking. Doctor Thesis (MCMILLIAN, K. L., 1992)
Documents Symbolic Model Checking. Doctor Thesis (MCMILLIAN, K. L., 1992)
Chp 2 - Crossings
Documents Chp 2 - Crossings
Verbs - Verifiation of Finite State Systems Based on Bounded Correctness Checking
Documents Verbs - Verifiation of Finite State Systems Based on Bounded Correctness Checking
Symbolic Model Checking (PISTORE, M.; ROVERI, M., 2004)
Documents Symbolic Model Checking (PISTORE, M.; ROVERI, M., 2004)
A Practical and Complete Aproach to Predicate Refinement (JAHALA, R.; McMILLAN, K. L., 2005)
Documents A Practical and Complete Aproach to Predicate Refinement (JAHALA, R.; McMILLAN, K. L., 2005)
An Interpolation Theorem Prover (McMILLAN, K. L., 2005)
Documents An Interpolation Theorem Prover (McMILLAN, K. L., 2005)
Applications of Craig Interpolants in Model Checking. (MCMillan, K. L, 2005)
Documents Applications of Craig Interpolants in Model Checking. (MCMillan, K. L, 2005)