Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018)

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

Table of Contents

Preface

Preface
David Pichardie, Mihaela Sighireanu
PDF

Articles

Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software
Yannick Moy
PDF
Detecting Deadlocks in Formal System Models with Condition Synchronization
Eduard Kamburjan
PDF
Analyzing Consistency of Formal Requirements
Jan Steffen Becker
PDF
An Entailment Checker for Separation Logic with Inductive Definitions
Cristina Serban, Radu Iosif
PDF
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation
Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke
PDF
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
PDF
Backward Reachability Analysis for Timed Automata with Data Variables
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
PDF
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway
Christophe Limbree, Charles Pecheur
PDF
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie McCann
PDF
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
PDF
Using SMT Engine to Generate Symbolic Automata
Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
PDF