CISE Safety Tool

Marc Shapiro (1) , Mahsa Najafzadeh (1)

1 Regal - Large-Scale Distributed Systems and Applications

Demo video of the CISE Tool. See "'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems." A. Gotsman et al., POPL, Jan. 2016, and "Putting Consistency back into Eventual Consistency." V. Balegas et al., EuroSys, Apr. 2015

Mots clés: verification of distributed programs

Domaines: Autre [cs.OH]

Marc Shapiro, Mahsa Najafzadeh. CISE Safety Tool. 2015. ⟨medihal-01242710⟩