Vol. 76 (2019): Automated Verification of Critical Systems 2018 (AVoCS 2018)

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

Published: 2019-05-14

Articles

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base

Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
- PDF
Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software

Yannick Moy
- PDF
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway

Christophe Limbree, Charles Pecheur
- PDF
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
- PDF
An Entailment Checker for Separation Logic with Inductive Definitions

Cristina Serban, Radu Iosif
- PDF
Using SMT Engine to Generate Symbolic Automata

Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
- PDF
Detecting Deadlocks in Formal System Models with Condition Synchronization

Eduard Kamburjan
- PDF
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie McCann
- PDF
Backward Reachability Analysis for Timed Automata with Data Variables

Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
- PDF
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation

Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke
- PDF
Analyzing Consistency of Formal Requirements

Jan Steffen Becker
- PDF

Preface

Preface

David Pichardie, Mihaela Sighireanu
- PDF