Hector: software model checking with cooperating analysis plugins
Nathaniel Charlton, Michael Huth
- Conference or Workshop Paper
- Computer Aided Verification (CAV 2007)
- July, 2007
- Lecture Notes in Computer Science
- PDF of full publication (188 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Copyright notice
This is the preliminary 4-page version of that published tool demonstration paper.
- Conditions for downloading publications from this site.