Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 9

Content of Issue 2
DOI: 10.3217/jucs-009-02
J.UCS Special Issue on Tools for System Design and Verification R. Berghammer, D. Haneberg, W. Reif, G. Schellhorn 86
Moby/RT: A Tool for Specification and Verification of Real-Time Systems E.-R. Olderog, H. Dierks 88
Checking Object System Designs Incrementally H.-D. Ehrich, M. Kollmann, R. Pinger 106
Optimized Temporal Logic Compilation A. Krebs, J. Ruf 120
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol R. Malik, R. Mühlfeld 138
HOL-Z 2.0: A Proof Environment for Z-Specifications A.D. Brucker, F. Rittinger, B. Wolff 152
Tool Support for the Interactive Derivation of Formally Correct Functional Programs W. Guttmann, H. Partsch, W. Schulte, T. Vullinghs 173