SyncFree/CISE

The CISE logic is able to prove that some distributed program is safe, in the sense that it maintains some application invariant of interest.

Java