Searching for authors named "Klaus Havelund" – sorted by Relevance.
-
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools
- Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools Klaus Havelund
- Cited by 3 (0 self) – Add To MetaCart
-
Java PathFinder User Guide
- Java PathFinder User Guide Klaus Havelund NASA Ames Research Center, Recom Technologies, Moffett
- Cited by 4 (0 self) – Add To MetaCart
-
The Fork Calculus Towards a Logic for Concurrent ML
- The Fork Calculus Towards a Logic for Concurrent ML Klaus Havelund Ph.D. Thesis DIKU -- Datalogisk
- Cited by 2 (1 self) – Add To MetaCart
-
Mechanical Verification of a Garbage Collector
- Mechanical Verification of a Garbage Collector Klaus Havelund NASA Ames Research Center Recom
- Cited by 14 (3 self) – Add To MetaCart
-
Java PathFinder A Translator from Java to Promela
- Java PathFinder A Translator from Java to Promela Klaus Havelund NASA Ames Research Center Recom
- Cited by 14 (1 self) – Add To MetaCart
-
Using Runtime Analysis to Guide Model Checking of Java Programs
- Using Runtime Analysis to Guide Model Checking of Java Programs Klaus Havelund QSS/Recom NASA
- Cited by 50 (11 self) – Add To MetaCart
-
unknown title
- Research Center, Moffet Field, CA 94035, USA KLAUS HAVELUND GUILLAUME BRAT Kestrel Technologies/NASA Ames
- Add To MetaCart
-
A Mechanized Refinement Proof for a Garbage Collector
- Garbage Collector Klaus Havelund 1 and Natarajan Shankar y2 Dep. of Computer Science, Aalborg
- Cited by 6 (0 self) – Add To MetaCart
-
Java PathExplorer - A Runtime Verification Tool
- Java PathExplorer - A Runtime Verification Tool Klaus Havelund Kestrel Technology NASA Ames
- Cited by 22 (4 self) – Add To MetaCart
-
Program Model Checking as a New Trend
- Model Checking as a New Trend Klaus Havelund Willem Visser 2 Kestrel Technology, NASA Ames Research
- Cited by 4 (0 self) – Add To MetaCart

