Vol. 35 (2010): Automated Verification of Critical Systems 2010

DOI: https://doi.org/10.14279/tuj.eceasst.35

Published: 2011-11-14

Articles

Development of Rabin’s Choice Coordination Algorithm in Event-B

Emre Yilmaz, Thai Son Hoang
- PDF
Integrating Formal Methods with Informal Digital Hardware Development

Neil Evans
- PDF
Checking Consistency Between Message Choreographies And Their Implementation Models

Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei
- PDF
Verification of Symmetry Detection using PVS

Shamim Ripon, Alice Miller
- PDF
A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction

Cristian Rosa, Stephan Merz, Martin Quinson
- PDF
Automatically Verifying Railway Interlockings using SAT-based Model Checking

Phillip James, Markus Roggenbach
- PDF
Evaluation Strategies for Datalog-based Points-To Analysis

Marco Feliu, Christophe Joubert, Fernando Tarin
- PDF
Proving Distributed Algorithms by Combining Reﬁnement and Local Computations

Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
- PDF
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study

Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Rossi
- PDF
Static Analysis of Information Release in Interactive Programs

Adedayo Adetoye, Nikolaos Papanikolaou
- PDF

Preface

Avocs2010 Preface

Jens Bendisposto, Michael Leuschel, Markus Roggenbach
- PDF