Program

PROGRAM

Tuesday, October 8th

Chair:

David Delmas (Airbus Operations SAS, France)

09:30

Pascal Lacabanne (Airbus, France)

Transforming development processes of avionics software with formal methods (abstract)

Chair:

Sandrine Blazy (University of Rennes 1, France)

10:30	Deni Raco (RWTH Aachen University, Germany) Bernhard Rumpe (RWTH Aachen University, Germany) Sebastian Stüber (RWTH Aachen University, Germany) Leveraging Highly Automated Theorem Proving for Certication (abstract)
11:00	Robert Husák (Charles University, Czechia) Jan Kofron (Charles University, Czechia) Filip Zavoral (Charles University, Czechia) Handling Heap Data Structures in Backward Symbolic Execution (abstract)
11:30	Goran Piskachev (Fraunhofer, Germany) Tobias Petrasch (BCG Platinion, Germany) Johannes Späth (Fraunhofer, Germany) Eric Bodden (Frauhofer IEM and Paderborn University, Germany) AuthCheck: Program-state Analysis for Access-control Vulnerabilities (abstract)
12:00	Christophe Alias (INRIA, France) fkcc: the Farkas Calculator (abstract)

14:00

Enea Zaffanella (University of Parma, Italy)

Some thoughts on the design of abstract domains (abstract)

Chair:

Manuel Hermenegildo (IMDEA Software Institute, Spain)

15:30

Bernard Schmidt (Bosch, Germany)

Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry (abstract)

Chair:

Virgile Prevosto (CEA Tech, France)

16:00	Isabel Garcia-Contreras (IMDEA Software Institute and Universidad Politecnica de Madrid, Spain) Jose F. Morales (IMDEA Software Research Institute, Spain) Manuel V. Hermenegildo (IMDEA Software Institute and Universidad Politécnica de Madrid, Spain) Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract) (abstract)
16:30	Felipe R. Monteiro (Federal University of Amazonas, Brazil) Mikhail R. Gadelha (Sidia, Brazil) Lucas Cordeiro (The University of Manchester, UK) Boost the Impact of Continuous Formal Verification in Industry (abstract)
17:00	Simon Cooksey (University of Kent, Canterbury, UK) Sarah Harris (University of Kent, Canterbury, UK) Mark Batty (University of Kent, Canterbury, UK) Radu Grigore (University of Kent, UK) Mikolas Janota (INESC-ID/IST, University of Lisbon, Portugal, Portugal) PrideMM: Second Order Model Checking for Memory Consistency Models (abstract)