ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Session

Foundations of Deductive Verification and Specification • Saturday, 24.10

Room: Room 1
TimeTopicAuthors
16:30001 – The TLA+ Trifecta walks into a bar, the bartender ask Why3?
17:00002 – Automatic Deductive Verification of Event Sequence Properties
17:30010 – Weakest Precondition Rules for Programs with Linear Temporal Specifications