Peter Csaba Ölveczky

University of Oslo, Norway 

(invited speaker at the joint event FROM 2019 – Working Formal Methods Symposium)

Title:  The use of Maude and PVeStA on cloud computer storage systems

The talk covers the formal modeling and various kinds of analyses of cloud storage systems including Google’s Megastore, Facebook’s Cassandra, and would touch on the well-known work at Amazon Web Services.