L. Burdy, Y. Cheon, D.R. Cok, M.D. Ernst, J. Kiniry, G.T. Leavens, K.R.M.
Leino, and E. Poll.
An overview of JML tools and applications.
International Journal on Software Tools for Technology
Transfer, 2005.
[ bib ]
M. Pavlova, G. Barthe, L. Burdy, M. Huisman, and J.-L. Lanet.
Enforcing high-level security properties for applets.
In P. Paradinas and J.-J. Quisquater, editors, Proceedings of
CARDIS'04, Toulouse, France, August 2004. Kluwer Academic Publishers.
[ bib |
.pdf ]
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino,
and E. Poll.
An overview of jml tools and applications.
In T. Arts and W. Fokkink, editors, FMICS: Eighth International
Workshop on Formal Methods for Industrial Critical Systems, volume 80 of
Electronic Notes in Theoretical Computer Science. Elsevier Publishing,
June 5-7 2003.
[ bib |
.ps.gz ]
L. Burdy, A. Requet, and J.-L. Lanet.
Java applet correctness: A developer-oriented approach.
In K. Araki, S. Gnesi, and D. Mandrioli, editors, FME 2003:
Formal Methods: International Symposium of Formal Methods Europe, volume
2805 of Lecture Notes in Computer Science, pages 422-439.
Springer-Verlag, 2003.
[ bib |
.ps.gz ]
L. Burdy and A. Requet.
Extending B with control flow breaks.
In D. Bert, J.P. Bowen, S. King, and M. Waldén, editors, ZB
2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 513-527. Springer-Verlag, 2003.
[ bib |
.ps.gz ]