FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Invariants in Distributed Algorithms

Yanhong A. Liu, Scott D. Stoller, Saksham Chand and Xuetian Weng

An Animation Module for TLA+

William Schultz

BMCMT – Bounded Model Checking of TLA+ Specifications with SMT

Igor Konnov, Jure Kukovec and Thanh Hai Tran
Total: 3 presentations.