The paper summarises our experiences teaching formal program specification and verification using the specification language JML and the automated program verification tool ESC/Java2. This technology has proven to be mature and simple enough to introduce students to formal methods, even undergraduate students with no prior knowledge of formal methods and even only very basic knowledge of (Java) programming. However, there are some limitations on the kind of examples that can be comfortably tackled. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Poll, E. (2009). Teaching program specification and verification using JML and ESC/Java2. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5846 LNCS, pp. 92–104). https://doi.org/10.1007/978-3-642-04912-5_7
Mendeley helps you to discover research relevant for your work.