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 |
