Author:
Burdy Lilian,Requet Antoine,Lanet Jean-Louis
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abrial, J.-R.: The B Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Burdy, L., Requet, A.: Jack: Java Applet Correctness Kit. In: GDC 2002, Singapore (November 2002)
3. Lecture Notes in Computer Science;L. Casset,2002
4. Casset, L., Burdy, L., Requet, A.: Formal development of an embedded verifier for Java Card byte code. In: DSN 2002, International Conference on Dependable Systems & Networks, Washington, D.C., USA, June 2002, pp. 51–56 (2002)
5. Lecture Notes in Computer Science;N. Cataño,2002
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Protection of Systems Against Fuzzing Attacks;Foundations and Practice of Security;2019
2. An Introduction to Software Verification with Whiley;Engineering Trustworthy Software Systems;2019
3. Reflections on Verifying Software with Whiley;Communications in Computer and Information Science;2014
4. A Case Study in Formal Verification Using Multiple Explicit Heaps;Formal Techniques for Distributed Systems;2013
5. A Unified Approach for Static and Runtime Verification: Framework and Applications;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012