Volume 53: Automated Verification of Critical Systems 2012

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

Table of Contents

Preface

Preface
Gerald Lüttgen, Stephan Merz
PDF

Articles

Automated Verification of Specifications with Typestates and Access Permissions
Radu I. Siminiceanu, Ijaz Ahmed, Nestor Catano
PDF
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System
Yang Zhao, Kristin Yvonne Rozier
PDF
Optimized Transformation and Verification of SystemC Methods
Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner
PDF
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2
Jeroen J. A. Keiren, Martijn D. Klabbers
PDF
Harnessing SMT Solvers for TLA+ Proofs
Stephan Merz, Hernán Vanzetto
PDF
Railway modelling in CSP||B: the double junction case study
Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne, Hoang Nga Nguyen
PDF
E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs
Rajiv Murali, Andrew Ireland
PDF
Model Checking Algorithms for Markov Automata
Hassan Hatefi, Holger Hermanns
PDF
Multi-core and/or Symbolic Model Checking
Tom van Dijk, Alfons Laarman, Jaco van de Pol
PDF
Semi-automatic Proofs about Object Graphs in Separation Logic
Holger Gast
PDF
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic
Brijesh Dongol, John Derrick, Ian J. Hayes
PDF
Proving Linearizability of Multiset with Local Proof Obligations
Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn
PDF