×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [target c code promela]
Home >
target c code promela
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Moonzoo Kim, Shin Hong, Changki Hong Provable Software Lab. CS Dept. KAIST,
238 views
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay
50 views