Vol. 53 (2012): Automated Verification of Critical Systems 2012

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

Published: 2013-01-30

Preface

Preface

Gerald Lüttgen, Stephan Merz
- PDF

Articles

E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs

Rajiv Murali, Andrew Ireland
- PDF
Harnessing SMT Solvers for TLA+ Proofs

Stephan Merz, Hernán Vanzetto
- PDF
Proving Linearizability of Multiset with Local Proof Obligations

Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn
- PDF
Optimized Transformation and Verification of SystemC Methods

Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner
- PDF
Semi-automatic Proofs about Object Graphs in Separation Logic

Holger Gast
- PDF
Automated Verification of Specifications with Typestates and Access Permissions

Radu Siminiceanu, Ijaz Ahmed, Nestor Catano
- PDF
Model Checking Algorithms for Markov Automata

Hassan Hatefi, Holger Hermanns
- PDF
Railway modelling in CSP||B: the double junction case study

Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne, Hoang Nguyen
- PDF
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2

Jeroen J. A. Keiren, Martijn D. Klabbers
- PDF
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic

Brijesh Dongol, John Derrick, Ian Hayes
- PDF
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System

Yang Zhao, Kristin Yvonne Rozier
- PDF
Multi-core and/or Symbolic Model Checking

Tom Dijk, Alfons Laarman, Jaco Pol
- PDF