Scalable Software Model Checking Using Design for Verification
Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 10 - 13 November 2005, pp.337-346, (Full Text)
- Publication Type: Conference Paper / Full Text
- City: Zürich
- Country: Switzerland
- Page Numbers: pp.337-346
- Middle East Technical University Affiliated: No