Volume 46: Automated Verification of Critical Systems 2011

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

Table of Contents

Preface

Preface
Alexander Romanovsky, Cliff Jones, Jens Bendiposto, Michael Leuschel
PDF

Articles

Experiences in the Industrial use of Formal Methods
Janet Elizabeth Barnes
PDF
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Franz Weitl, Shin Nakajima
PDF
Symbolic Model Checking and Safety Assessment of Altarica models
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
PDF
Mixing Formal and Informal Model Elements for Tracing Requirements
Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
PDF
Specification and refinement of discrete timing properties in Event-B
Mohammad Reza Sarshogh, Michael Butler
PDF
Combining Model Checking and Discrete-Event Supervisor Synthesis
Nicolas Chausse, Helen Xu, Juergen Dingel, Karen Rudie
PDF
The Belgian Electronic Identity Card: a Verification Case Study
Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens
PDF
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation
Sanaz Yeganefard, Michael Butler
PDF
A Survey on Event-B Decomposition
Thai Son Hoang, Alexei Iliasov, Renato A Silva, Wei Wei
PDF
Positioning Verfification in the Context of Software/System Certification
Marc Bender, Tom Maibaum, Mark Lawford, Alan Wassyng
PDF
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software
Xiang Gan, Jori Dubrovin, Keijo Heljanko
PDF
Approximating Idealised Real-Time Specifications Using Time Bands
Brijesh Dongol, Ian J. Hayes
PDF