A Logic for the Java Modeling Language JML
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 284-299
- https://doi.org/10.1007/3-540-45314-8_21
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Formal specification of the JavaCard API in JML: the APDU classComputer Networks, 2001
- Java Program Verification via a Hoare Logic with Abrupt TerminationPublished by Springer Nature ,2000
- Inheritance in Higher Order Logic: Modeling and ReasoningPublished by Springer Nature ,2000
- A Type-Theoretic Memory Model for Verification of Sequential Java ProgramsPublished by Springer Nature ,2000
- JML: A Notation for Detailed DesignPublished by Springer Nature ,1999
- A WP-calculus for OOPublished by Springer Nature ,1999
- Reasoning about Java classesACM SIGPLAN Notices, 1998
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- Designing an object-oriented programming language with behavioural subtypingPublished by Springer Nature ,1991
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981