СТ |
Applying Jlint to Space Exploration Software |
2004 |
Artho C., Havelund K. |
|
|
|
Lecture Notes in Computer Science |
12.02.2004 |
СТ |
Rule-Based Runtime Verification |
2004 |
Barringer H., Goldberg A., Havelund K., Sen K. |
|
|
|
Lecture Notes in Computer Science |
11.02.2004 |
СТ |
Experiments with Test Case Generation and Runtime Analysis |
2003 |
Artho C., Drusinsky D., Goldberg A., Havelund K., Lowry M., Pasareanu C., Rosu G., Visser W. |
|
|
|
Lecture Notes in Computer Science |
28.03.2003 |
СТ |
Using Runtime Analysis to Guide Model Checking of Java Programs |
2000 |
Havelund K. |
|
|
|
Lecture Notes in Computer Science |
26.09.2000 |
СТ |
Applying Model Checking in Java Verification |
1999 |
Havelund K., Skakkebaek U. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
СТ |
Formal, Model-Oriented Software Development Methods. From VDM to ProCoS & from RAISE to LaCoS |
1990 |
Bjorner D., Haxthausen A. E., Havelund K. |
|
|
|
|
29.09.1999 |
СТ |
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL |
1999 |
Havelund K., Larsen K. G., Skou A. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |