FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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 121C: Invited talk: Michael Tautschnig

Formal Methods at Amazon Web Services

09:00
Experiences with thread-modular static analysis of concurrent embedded systems (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 123C: AVoCS Regular papers 1

Automated verification

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 124C: Invited talk: Michael Emmi

Automatic Verification of Concurrent Objects

14:00
Automatic Verification of Concurrent Objects (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 126B: AVoCS Regular Papers 2
16:00
Analyzing Consistency of Formal Requirements (abstract)
16:30
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems (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).

Thursday, July 19th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 127A: Invited talk: Antoine Miné

Experiences with thread-modular static analysis of concurrent embedded systems

09:00
Experiences with thread-modular static analysis of concurrent embedded systems (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 129A: AVoCS Regular Papers 3
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 131A: Invited talk: Yannick Moy

Mostly harmless - luring programmers into proof with SPARK

14:00
Mostly harmless - luring programmers into proof with SPARK (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 133A: AVoCS Regular Papers 4
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)