Hector: Software Model Checking with Cooperating Analysis Plugins.

Nathaniel Charlton, Michael Huth

Browse the full CAV paper archive.