scientific article
From MaRDI portal
Publication:2769594
zbMath0978.68708MaRDI QIDQ2769594
Joachim van den Berg, Bart Jacobs
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310299
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (14)
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? ⋮ JCML: A specification language for the runtime verification of Java card programs ⋮ A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs ⋮ A program logic for resources ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ Specification and Runtime Verification of Java Card Programs ⋮ LOOP ⋮ A proof outline logic for object-oriented programming ⋮ Coalgebras and monads in the semantics of Java ⋮ Programmed Strategies for Program Verification
Uses Software
This page was built for publication:
