Sciweavers

9018 search results - page 22 / 1804
» 3D-Brain Model Software
Sort
View
VSTTE
2005
Springer
14 years 3 months ago
Model-Checking Software Using Precise Abstractions
Marsha Chechik, Arie Gurfinkel
VMCAI
2004
Springer
14 years 3 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi