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 |
