DMCA
Java Program Verification Challenges (2002)
by
Bart Jacobs
,
Joseph Kiniry
,
Martijn Warnier
| Citations: | 17 - 1 self |
BibTeX
@MISC{Jacobs02javaprogram,
author = {Bart Jacobs and Joseph Kiniry and Martijn Warnier},
title = {Java Program Verification Challenges},
year = {2002}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper aims to raise the level of verification challenges by presenting a collection of sequential Java programs with correctness annotations formulated in JML. The emphasis lies more on the underlying semantical issues than on verification.
