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

Content of Issue 2
DOI: 10.3217/jucs-007-02
J.UCS Special Issue on Tools for System Design and Verification - Part 2 W. Reif, G. Schellhorn 105
Modeling Sequences within the RelView System R. Berghammer, T. Hoffmann 107
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic A. Armando, S. Ranise 124
Verification of Parameterized Protocols K. Baukus, Y. Lakhnech, K. Stahl 141
Diagram Refinements for the Design of Reactive Systems D. Cansell, D. Mery, S. Merz 159
The Coalgebraic Class Specification Language CCSL J. Rothe, H. Tews, B. Jacobs 175
Correctness of Efficient Real-Time Model Checking W. Reif, G. Schellhorn, T. Vollmer, J. Ruf 194