Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet Marco BernardoRoberto GorrieriMarco Roccetti Original Paper Pages: 313 - 337
Case Study: Formal Verification of a Computerized Railway Interlocking Arne Borälv Case Study Pages: 338 - 360
Formal Verification of a Railway Interlocking System using Model Checking A. CimattiF. GiunchigliaP. Traverso Original Paper Pages: 361 - 380
The SH-Verification Tool — Abstraction-Based Verification of Co-operating Systems P. OchsenschlägerJ. ReppU. Nitsche Original Paper Pages: 381 - 404
Modelling and Verification of PREMO Synchronisable Objects G. P. FacontiM. Massink Original Paper Pages: 405 - 434