Conference: AVOCS 2018 (18th International Workshop on Automated Verification of Critical Systems)

Conference: AVOCS 2018 (18th International Workshop on Automated Verification of Critical Systems)

This page shows all presentations from this conference published in EasyChair Smart Slide.

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

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

Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud and Samuel Hym

A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railways

A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railways

Christophe Limbrée and Charles Pecheur

Analyzing Consistency of Formal Requirements

Analyzing Consistency of Formal Requirements

Jan Steffen Becker

Detecting Deadlocks in Formal System Models with Condition Synchronization

Detecting Deadlocks in Formal System Models with Condition Synchronization

Eduard Kamburjan

Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation

Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation

Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings and Moritz Gericke

Using SMT engine to generate Symbolic Automata

Using SMT engine to generate Symbolic Automata

Xudong Qin, Eric Madelaine, Simon Bliutze and Min Zhang

An Entailment Checker for Separation Logic with Inductive Definitions

An Entailment Checker for Separation Logic with Inductive Definitions

Radu Iosif and Cristina Serban

Automatic Verification of Concurrent Objects

Automatic Verification of Concurrent Objects

Backward reachability analysis for timed automata with data variables

Backward reachability analysis for timed automata with data variables

Rebeka Farkas, Tamás Tóth, Ákos Hajdu and András Vörös

Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems

Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann

Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software

Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software

Claire Dross, Guillaume Foliard, Théo Jouanny, Lionel Matias, Stuart Matthews, Jean-Marc Mota, Yannick Moy, Pascal Pignard and Romain Soulat

Mostly harmless - luring programmers into proof with SPARK

Mostly harmless - luring programmers into proof with SPARK

Experiences with thread-modular static analysis of concurrent embedded systems by abstract interpretation

Experiences with thread-modular static analysis of concurrent embedded systems by abstract interpretation

Presentations in this collection: 13