swMATH10292MaRDI QIDQ22254FDOQ22254
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-45319-9_21
Cited In (35)
- 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
- 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
- Title not available (Why is that?)
- HasCasl
- JML
- JCML
- ESC/Java
- Theorem Proving in Higher Order Logics
- Sparkle
- CoCasl
- Grail
- Splint
- Camelot
- Jass
- PQL
- Sather
- Specification and runtime verification of Java card programs
- 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
- Theorem-proving support in programming language semantics
- Title not available (Why is that?)
- A proof outline logic for object-oriented programming
This page was built for software: LOOP