ePublications@bond

Title

Comparing model checking and static program analysis: A case study in error detection approaches

Authors

Kostyantyn Vorobyon
Padmanabhan Krishnan

Date of this Version

10-6-2010

Field of Research Code

080309

Document Type

Conference Paper

Digital Commons Citation

Kostyantyn Vorobyon and Padmanabhan Krishnan. (2010) "Comparing model checking and static program analysis: A case study in error detection approaches" 5th International workshop on Systems Software Verification (SSV '10). Vancouver, BC, Canada.Oct. 2010.

http://epublications.bond.edu.au/era_2012/496