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 ]
N. Cataño.
Slicing event spaces: Towards a Java programs checking framework.
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 ]
G. Barthe and S. Stratulat.
Using Implicit Induction Techniques for the Validation of the
JavaCard Platform.
In R. Nieuwenhuis, editor, Proceedings of RTA'03, volume 2706
of Lecture Notes in Computer Science, pages 337 - 351, Valencia,
Spain, June 2003. Springer-Verlag.
[ bib |
.ps.gz ]
S. Melo de Sousa.
Outils et techniques pour la vérification formelle de la
plate-forme JavaCard.
PhD thesis, INRIA/Universidade de Nice-Sophia Antipolis, February
2003.
[ bib |
.ps ]
N. Cataño and M. Huisman.
Chase: A static checker for JML's assignable clause.
In L. D. Zuck, P. C. Attie, A. Cortesi, and S. Mukhopadhyay, editors,
VMCAI: Verification, Model Checking and Abstract Interpretation, volume
2575 of Lecture Notes in Computer Science, pages 26-40.
Springer-Verlag, January 9-11 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 ]
G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori.
Pure pattern type systems.
In Proceedings of POPL'03, New Orleans, USA, January 2003. ACM
Press.
[ bib |
.ps.gz ]
M. Pavlova.
Automatic generation of jml specification for java card applications.
Rapport de dea, Université Paris VII - Denis Diderot, 2003.
[ bib |
.pdf ]
C. Breunesse, N. Cataño, M. Huisman, and B. Jacobs.
Formal Methods for Smart Cards: an experience report.
Technical Report NIII-R0316, NIII, 2003.
[ bib |
.html ]
C. Sprenger, D. Gurov, and M. Huisman.
Simulation logic, applets and compositional verification.
Technical Report RR-4890, INRIA, 2003.
[ bib |
.ps.gz ]