Computing Publications

Publications Home » Hector: software model checking w...

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
Springer
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.

N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.