Cited in
(39)- Tools and Algorithms for the Construction and Analysis of Systems
- Building reliable, high-performance networks with the Nuprl proof development system
- A generic complete dynamic logic for reasoning about purity and effects
- Source code verification of a secure payment applet
- Algebraic Methodology and Software Technology
- scientific article; zbMATH DE number 2090026 (Why is no real title available?)
- Programmed strategies for program verification
- Coalgebras and monads in the semantics of Java
- A program logic for resources
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- A graph-based implementation for mechanized refinement calculus of OO programs
- HasCasl
- scientific article; zbMATH DE number 1693527 (Why is no real title available?)
- rCOS
- KRAKATOA
- CCSL
- SPARK
- JML
- JCML
- ESC/Java
- Sparkle
- CoCasl
- Grail
- Splint
- Camelot
- Jass
- PQL
- Sather
- Theorem Proving in Higher Order Logics
- JCML: A specification language for the runtime verification of Java card programs
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
- Specification and runtime verification of Java card programs
- Valigator: A Verification Tool with Bound and Invariant Generation
- Algebraic-coalgebraic specification in CoCASL
- scientific article; zbMATH DE number 1692946 (Why is no real title available?)
- Weakest pre-condition reasoning for Java programs with JML annotations
- Theorem-proving support in programming language semantics
- scientific article; zbMATH DE number 1848384 (Why is no real title available?)
- A proof outline logic for object-oriented programming
This page was built for software: LOOP
