DSV PROGRAM
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120A: SAT/SMT Solving
Chair:
Location: Ullmann 300
09:00 | UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis (abstract) PRESENTER: Elizabeth Polgreen |
09:45 | Democratizing SAT Solving (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 125B: Model Checking (I)
Chair:
Location: Ullmann 300
11:00 | Eldarica and TriCera: towards an open verification framework (abstract) |
11:45 | C2C-trans as a design methodology for software verification tools (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 127B: Model Checking (II) and Synthesis
Chair:
Location: Ullmann 300
14:00 | Solving Constrained Horn Clauses Lazily and Incrementally (abstract) |
14:45 | Interaction Models vs. Formal Models: Synthesis Co-Design (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 131B: Industrial Use of Formal Methods
Chair:
Location: Ullmann 300
16:00 | Formal Verification of Ethereum Smart Contracts: SMT-Based Approaches and Challenges (abstract) |
16:45 | Achieving Verified Cloud Authorization (abstract) |
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event