LOOP
From MaRDI portal
Software:22254
No author found.
Related Items (23)
Weakest pre-condition reasoning for Java programs with JML annotations ⋮ The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML ⋮ Source code verification of a secure payment applet ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Are the logical foundations of verifying compiler prototypes matching user expectations? ⋮ Building reliable, high-performance networks with the Nuprl proof development system ⋮ Unnamed Item ⋮ Unnamed Item ⋮ JCML: A specification language for the runtime verification of Java card programs ⋮ Unnamed Item ⋮ A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs ⋮ A program logic for resources ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ Specification and Runtime Verification of Java Card Programs ⋮ Theorem Proving in Higher Order Logics ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Algebraic Methodology and Software Technology ⋮ Valigator: A Verification Tool with Bound and Invariant Generation ⋮ A proof outline logic for object-oriented programming ⋮ Coalgebras and monads in the semantics of Java ⋮ Programmed Strategies for Program Verification
This page was built for software: LOOP
