ABSTRACT
No abstract available.
- Esc
Recommendations
ESC/Java2: uniting ESC/Java and JML
CASSIS'04: Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesThe ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML). The ESC/Java2 project, whose progress is described in this paper, ...
Specifying java iterators with JML and Esc/Java2
SAVCBS '06: Proceedings of the 2006 conference on Specification and verification of component-based systemsThe 2006 SAVCBS Workshop has posed a Challenge Problem on the topic of specifying iterators. This note provides a specification in the Java Modeling Language (JML) [1, 2] for the Java interfaces Iterator and Iterable that captures the interactions ...
Soundness and completeness warnings in ESC/Java2
SAVCBS '06: Proceedings of the 2006 conference on Specification and verification of component-based systemsUsability is a key concern in the development of verification tools. In this paper, we present an usability extension for the verification tool ESC/Java2. This enhancement is not achieved through extensions to the underlying logic or calculi of ESC/...
Comments