The following pages link to (Q2769594):
Displaying 15 items.
- LOOP (Q22254) (← links)
- 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)
- Programmed strategies for program verification (Q2864527) (← links)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (Q2999325) (← links)
- (Q4738400) (← links)
- Specification and Runtime Verification of Java Card Programs (Q5179352) (← links)