A Dynamic Logic for the Formal Verification ofJava Card Programs

This publication has 11 references indexed in Scilit:

• The Approach: Integrating Object Oriented Design and Formal Verification
  Published by Springer Nature ,2000
• Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic
  Published by Association for Computing Machinery (ACM) ,2000
• Java Program Verification via a Hoare Logic with Abrupt Termination
  Published by Springer Nature ,2000
• A Programming Logic for Sequential Java
  Published by Springer Nature ,1999
• A Programmer Friendly Modular Definition of the Semantics of Java
  Published by Springer Nature ,1999
• Reasoning about Java classes
  ACM SIGPLAN Notices, 1998
• Formal methods
  ACM Computing Surveys, 1996
• The Kiv-approach to software verification
  Published by Springer Nature ,1995
• Logics of Programs
  Published by Elsevier ,1990
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981