×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [verification of large]
Home >
verification of large
1 Presented by: Hagit Cohen April 2006 Tree-Like Counterexamples in Model Checking Edmund ClarkeSomesh Jha Yuan LuHelmut Veith.
213 views
Transition from SKADS to PrepSKA Richard Schilizzi Lisbon, 3 October 2008.
214 views
Presented by: Hagit Cohen April 2006
32 views