Java Program Verification via a Hoare Logic with Abrupt Termination
- 19 May 2000
- book chapter
- Published by Springer Nature
- p. 284-303
- https://doi.org/10.1007/3-540-46428-x_20
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A WP-calculus for OOPublished by Springer Nature ,1999
- A comparison of PVS and Isabelle/HOLPublished by Springer Nature ,1998
- A logic of object-oriented programsPublished by Springer Nature ,1997
- Verification of Sequential and Concurrent ProgramsPublished by Springer Nature ,1997
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Nature ,1989
- Correct and Robust ProgramsIEEE Transactions on Software Engineering, 1984
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- The Science of ProgrammingPublished by Springer Nature ,1981
- Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?Acta Informatica, 1976
- Program proving: Jumps and functionsActa Informatica, 1972