FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
Chand, Saksham	Invariants in Distributed Algorithms
F
Filippidis, Ioannis	Proving properties of a minimal covering algorithm
H
Hai Tran, Thanh	BMCMT – Bounded Model Checking of TLA+ Specifications with SMT
K
Konnov, Igor	BMCMT – Bounded Model Checking of TLA+ Specifications with SMT
Kukovec, Jure	BMCMT – Bounded Model Checking of TLA+ Specifications with SMT
Kuppe, Markus	State Space Explosion or: How To Fight An Uphill Battle
L
Langworthy, David	TLA+ in Engineering Systems: Quinceañera
Liu, Yanhong A.	Invariants in Distributed Algorithms
M
Murray, Richard M.	Proving properties of a minimal covering algorithm
R
Resch, Stefan	Applying TLA+ in a Safety-Critical Railway Project
S
Schneider, Valentin	Modeling Virtual Machines and Interrupts in TLA+ & PlusCal
Schultz, William	An Animation Module for TLA+
Stoller, Scott D.	Invariants in Distributed Algorithms
W
Weng, Xuetian	Invariants in Distributed Algorithms

Disclaimer | Powered by EasyChair Smart Program