Programme

PDF
Tutorials (Oct. 3) Day 1 (Oct. 4) Day 2 (Oct. 5) Day 3 (Oct. 6) All days
Conference, Day 1 (October 4, 2017)
08:00 - 09:00 Registration
09:00 - 10:00 Invited Talk - Gerwin Klein
From Trustworthy Kernels to Trustworthy Systems

(Chair: Deepak D'Souza)

10:00 - 10:30 Tea/Coffee break
Session I: Model Checking

(Chair: Sanjiva Prasad)

10:30 - 10:55 Mohammad Torabi Dashti and David Basin
Tests and Refutation
10:55 - 11:20 Kumar Madhukar, Peter Schrammel and Mandayam Srivas
Compositional Safety Refutation Techniques
11:20 - 11:45 Elvio Gilberto Amparore, Marco Beccuti and Susanna Donatelli
Gradient-based variable ordering of Decision Diagrams for systems with structural units
11:45 - 12:05 [Tool Paper] Sumanth Prabhu, Peter Schrammel, Mandayam Srivas, Michael Tautschnig and Anand Yeolekar
Concurrent Program Verification With Invariant-guided Underapproximation
12:05 - 13:35 Lunch break
Session II: Model Checking: Tools

(Chair: Ravindra Metta)

13:35 - 13:55 [Tool Paper] Antonio Bruto Da Costa and Pallab Dasgupta
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems
13:55 - 14:15 [Tool Paper] Fabrizio Biondi, Yusuke Kawamoto, Axel Legay and Louis-Marie Traonouez
HyLeak: Hybrid Analysis Tool for Information Leakage
14:15 - 14:35 [Tool Paper] Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeáš Kučera, Henrich Lauko, Jan Mrázek, Petr Ročkai and Vladimír Štill
Model Checking of C and C++ with DIVINE 4
14:35 - 14:55 [Tool Paper] Kunal Banerjee, Chittaranjan Mandal and Dipankar Sarkar
An Equivalence Checking Framework for Array-Intensive Programs
14:55 - 15:15 [Tool Paper] Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar and Chittaranjan Mandal
SamaTulyata: An Efficient Path Based Equivalence Checking Tool
15:15 - 15:45 Tea/Coffee break
Session III: Neural Networks

(Chair: Susanna Donatelli)

15:45 - 16:10 Chih-Hong Cheng, Georg Nührenberg and Harald Ruess
Maximum Resilience of Artificial Neural Networks
16:10 - 16:35 Rüdiger Ehlers
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks