FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Formal Verification of Internet of Things Protocols

Giorgio Delzanno

Stateless model-checking under the data-centric view

Andreas Pavlogiannis

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Ilina Stoilkovska

Proving Consistency using Forward Simulations

Constantin Enea

Specifying Non-Atomic Methods of Concurrent Objects

Michael Emmi
Total: 5 presentations.