LOOP
From MaRDI portal
Software:22254
swMATH10292MaRDI QIDQ22254FDOQ22254
Author name not available (Why is that?)
Cited In (23)
- 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
- Algebraic Methodology and Software Technology
- Source code verification of a secure payment applet
- Title not available (Why is that?)
- Programmed strategies for program verification
- Specification and Runtime Verification of Java Card Programs
- Coalgebras and monads in the semantics of Java
- A program logic for resources
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Valigator: A Verification Tool with Bound and Invariant Generation
- Algebraic-coalgebraic specification in CoCASL
- Title not available (Why is that?)
- Weakest pre-condition reasoning for Java programs with JML annotations
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs
- Title not available (Why is that?)
- A proof outline logic for object-oriented programming
This page was built for software: LOOP
