Author:
Pavlova Mariela,Barthe Gilles,Burdy Lilian,Huisman Marieke,Lanet Jean-Louis
Reference22 articles.
1. D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim. Jass-Java with Assertions. In K. Havelund and G. Roşu, editors, ENTCS, volume 55(2). Elsevier Publishing, 2001.
2. J. van den Berg and B. Jacobs. The LOOP compiler for Java and JML. In T. Margaria and W. Yi, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), number 2031 in LNCS, pages 299–312. Springer, 2001.
3. P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, and J.-L. Lanet. Checking Secure Interactions of Smart Card Applets: Extended version. Journal of Computer Security, 10(4):369–398, 2002.
4. G. Brat, K. Havelund, S. Park, and W. Visser. Java PathFinder-second generation of a Java model checker. In Workshop on Advances in Verification, 2000.
5. C. Breunesse, N. Cataño, M. Huisman, and B. Jacobs. Formal Methods for Smart Cards: an experience report. Technical Report NIII-R0316, NIII, University of Nijmegen, 2003. To appear in Science of Computer Programming.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献