EasyChair Smart SlideDocs/Log in
Conference: FRIDA 2018 (The 5th Workshop on Formal Reasoning in Distributed Algorithms)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Formal Verification of Internet of Things Protocols

Formal Verification of Internet of Things Protocols

Giorgio Delzanno

Proving Consistency using Forward Simulations

Proving Consistency using Forward Simulations

Constantin Enea

Stateless model-checking under the data-centric view

Stateless model-checking under the data-centric view

Andreas Pavlogiannis

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Ilina Stoilkovska

Specifying Non-Atomic Methods of Concurrent Objects

Specifying Non-Atomic Methods of Concurrent Objects

Michael Emmi

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair