Section: New Software and Platforms

CISE Tool

Keywords: Distributed Applications - Program verification

Functional Description: Static analysis of the model of a distributed application, to prove (under the assumption of causal consistency) whether the invariants of the application are always satisfied, and to provide a counterexample if not.

• Participants: Sreeja Nair and Marc Shapiro

• Contact: Marc Shapiro

• Publications: Evaluation of the CEC (Correct Eventual Consistency) Tool - The CISE Tool: Proving Weakly-Consistent Applications Correct - The CISE Tool: Proving Weakly-Consistent Applications Correct - CISE Safety Tool - 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems - Putting Consistency back into Eventual Consistency