Skip to Main content Skip to Navigation

Display 

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Share

Metrics

Record views

385

Files downloads

76

CISE Safety Tool

2015-10-31

Marc Shapiro 1 Mahsa Najafzadeh 1
1 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Description : 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
Domain :
Keywords : verification of distributed programs
https://hal.inria.fr/medihal-01242710
Contributor : Marc Shapiro <>
Submitted on : Sunday, December 13, 2015 - 11:42:52 PM
Last modification on : Friday, January 8, 2021 - 5:46:03 PM