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

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