Content of Issue 1
DOI: 10.3217/jucs-007-01
|
| J.UCS Special Issue on Tools for System Design and Verification |
W. Reif, G. Schellhorn |
1 |
| DisCo Toolset - The New Generation |
T. Aaltonen, M. Katara, R. Pitkänen |
3 |
| The Korrigan Environment |
C. Choppy, P. Poizat, J.-C. Royer |
19 |
| An Open Software Architecture for the Verification of Industrial Controllers |
H. Treseler, O. Stursberg, P. W. H. Chung, S. Yang |
37 |
| Declarative Term Graph Attribution for Program Generation |
W. Kahl, F. Derichsweiler |
54 |
| Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs |
J. Crossley, I. Poernomo |
71 |
| RAVEN: Real-Time Analyzing and Verification Environment |
J. Ruf |
89 |
