Volume 35: Automated Verification of Critical Systems 2010

DOI: http://dx.doi.org/10.14279/tuj.eceasst.35

Table of Contents

Preface

Avocs2010 Preface
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
PDF

Articles

Evaluation Strategies for Datalog-based Points-To Analysis
Marco A. Feliu, Christophe Joubert, Fernando Tarin
PDF
Development of Rabin’s Choice Coordination Algorithm in Event-B
Emre Yilmaz, Thai Son Hoang
PDF
A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction
Cristian Daniel Rosa, Stephan Merz, Martin Quinson
PDF
Static Analysis of Information Release in Interactive Programs
Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou
PDF
Verification of Symmetry Detection using PVS
Shamim Ripon, Alice Miller
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 Paolo Rossi
PDF
Checking Consistency Between Message Choreographies And Their Implementation Models
Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei
PDF
Proving Distributed Algorithms by Combining Refinement and Local Computations
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
PDF
Integrating Formal Methods with Informal Digital Hardware Development
Neil Evans
PDF
Automatically Verifying Railway Interlockings using SAT-based Model Checking
Phillip James, Markus Roggenbach
PDF