Java program verification challenges
B.P.F. Jacobs, J.R. Kiniry, Martijn Warnier · 2003
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.