HavelundKlaus

Model Checking Programs

VisserWillem, HavelundKlaus, BratGuillaume, 2003 .

An Overview of the Runtime Verification Tool Java PathExplorer

HavelundKlaus, RoşuGrigore, 2004 .

Event-based runtime verification of java programs

HavelundKlaus, d'AmorimMarcelo, 2005 .

Towards a framework and a benchmark for testing tools for multi-threaded programs

HavelundKlaus, UrShmuel, D StollerScott, 2007 .