CISE Safety Tool
Résumé
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