Vol. 46 (2012): Automated Verification of Critical Systems 2011

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

Published: 2012-03-01

Articles

A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

Xiang Gan, Jori Dubrovin, Keijo Heljanko
- PDF
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics

Franz Weitl, Shin Nakajima
- PDF
A Survey on Event-B Decomposition

Thai Son Hoang, Alexei Iliasov, Renato A Silva, Wei Wei
- PDF
The Belgian Electronic Identity Card: a Verification Case Study

Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens
- PDF
Specification and refinement of discrete timing properties in Event-B

Mohammad Reza Sarshogh, Michael Butler
- PDF
Approximating Idealised Real-Time Specifications Using Time Bands

Brijesh Dongol, Ian Hayes
- 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
Positioning Verfification in the Context of Software/System Certification

Marc Bender, Tom Maibaum, Mark Lawford, Alan Wassyng
- PDF
Experiences in the Industrial use of Formal Methods

Janet Barnes
- PDF
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation

Sanaz Yeganefard, Michael Butler
- PDF
Combining Model Checking and Discrete-Event Supervisor Synthesis

Nicolas Chausse, Helen Xu, Juergen Dingel, Karen Rudie
- PDF
Mixing Formal and Informal Model Elements for Tracing Requirements

Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
- PDF

Preface

Preface

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