AVOCS PROGRAM
Days: Wednesday, July 18th Thursday, July 19th
Wednesday, July 18th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 125C: Invited talk: Michael Tautschnig
Formal Methods at Amazon Web Services
Chair:
Location: Blavatnik Seminar Room 1
09:00 | Formal Methods at Amazon Web Services (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 127C: AVoCS Regular papers 1
Automated verification
Chair:
Location: Blavatnik Seminar Room 1
11:00 | Detecting Deadlocks in Formal System Models with Condition Synchronization (abstract) |
11:30 | Backward reachability analysis for timed automata with data variables (abstract) |
12:00 | An Entailment Checker for Separation Logic with Inductive Definitions (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 128C: Invited talk: Michael Emmi
Automatic Verification of Concurrent Objects
Chair:
Location: Blavatnik Seminar Room 1
14:00 | Automatic Verification of Concurrent Objects (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 130B: AVoCS Regular Papers 2
Chair:
Location: Blavatnik Seminar Room 1
16:00 | Analyzing Consistency of Formal Requirements (abstract) |
16:30 | Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks (abstract) |
17:00 | Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation (abstract) |
19:15-21:30 Workshops dinner at Magdalen College
Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).
Location: Magdalen College
Thursday, July 19th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 131A: Invited talk: Antoine Miné
Experiences with thread-modular static analysis of concurrent embedded systems
Chair:
Location: Blavatnik Seminar Room 1
09:00 | Experiences with thread-modular static analysis of concurrent embedded systems by abstract interpretation (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 133A: AVoCS Regular Papers 3
Chair:
Location: Blavatnik Seminar Room 1
11:00 | Using SMT engine to generate Symbolic Automata (abstract) |
11:30 | Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software (abstract) |
12:00 | A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railways (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 135A: Invited talk: Yannick Moy
Mostly harmless - luring programmers into proof with SPARK
Chair:
Location: Blavatnik Seminar Room 1
14:00 | Mostly harmless - luring programmers into proof with SPARK (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 137A: AVoCS Regular Papers 4
Chair:
Location: Blavatnik Seminar Room 1
16:00 | Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks (abstract) |
16:30 | Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base (abstract) |