3 search results - page 1 / 1 » A JML Tutorial: Modular Specification and Verification of Fu... |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
JTRES
2010
ACM
13 years 5 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
IEE
2008
13 years 4 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...