The loop Compiler for Java and JML

This publication has 11 references indexed in Scilit:

• The Approach: Integrating Object Oriented Design and Formal Verification
  Published by Springer Nature ,2000
• Java Program Verification via a Hoare Logic with Abrupt Termination
  Published by Springer Nature ,2000
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• An Architecture for Interactive Program Provers
  Published by Springer Nature ,2000
• Inheritance in Higher Order Logic: Modeling and Reasoning
  Published by Springer Nature ,2000
• A Type-Theoretic Memory Model for Verification of Sequential Java Programs
  Published by Springer Nature ,2000
• Machine-Checking the Java Specification: Proving Type-Safety
  Published by Springer Nature ,1999
• Reasoning about Java classes
  ACM SIGPLAN Notices, 1998
• Reasoning about classes in object-oriented languages: Logical models and tools
  Published by Springer Nature ,1998
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992