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 ]
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 ]
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 ]
N. Cataño and M. Huisman.
Formal specification of Gemplus' electronic purse case study using
ESC/Java.
In L.-H. Eriksson and P. Lindsay, editors, FME 2002: Formal
Methods: International Symposium of Formal Methods Europe, volume 2391 of
Lecture Notes in Computer Science, pages 272-289, Copenhagen, Denmark,
July 2002. Springer-Verlag.
[ bib |
.ps.gz ]