References
-
[1]
-
The Why verification tool.
http://why.lri.fr/.
- [2]
-
Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché, Benjamin Monate,
Yannick Moy, and Virgile Prevosto.
ACSL: ANSI/ISO C Specification Language, version 1.4, 2009.
http://frama-c.cea.fr/acsl.html.
- [3]
-
Patrice Chalin.
Reassessing JML’s logical foundation.
In Proceedings of the 7th Workshop on Formal Techniques for
Java-like Programs (FTfJP’05), Glasgow, Scotland, July 2005.
- [4]
-
Patrice Chalin.
A sound assertion semantics for the dependable systems evolution
verifying compiler.
In Proceedings of the International Conference on Software
Engineering (ICSE’07), pages 23–33, Los Alamitos, CA, USA, 2007. IEEE
Computer Society.
- [5]
-
Gary T. Leavens, Albert L. Baker, and Clyde Ruby.
Preliminary design of JML: A behavioral interface specification
language for Java.
Technical Report 98-06i, Iowa State University, 2000.