×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [event parallel execution]
Home >
event parallel execution
Formal Verification of SpecC Programs using Predicate Abstraction Himanshu Jain Daniel Kroening Edmund Clarke Carnegie Mellon University.
221 views