The following pages link to LOOP (Q22254):
Displaying 23 items.
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670) (← links)
- Source code verification of a secure payment applet (Q1881671) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- A program logic for resources (Q2463560) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)
- (Q2763679) (← links)
- (Q2764132) (← links)
- Programmed strategies for program verification (Q2864527) (← links)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (Q2999325) (← links)
- (Q3400636) (← links)
- (Q4785558) (← links)
- (Q4808693) (← links)
- Building reliable, high-performance networks with the Nuprl proof development system (Q4819652) (← links)
- Specification and Runtime Verification of Java Card Programs (Q5179352) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308423) (← links)
- Algebraic Methodology and Software Technology (Q5312976) (← links)
- Theorem Proving in Higher Order Logics (Q5477655) (← links)
- Valigator: A Verification Tool with Bound and Invariant Generation (Q5505564) (← links)
