Programme

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