SyncFree/CISE SyncFree/CISE

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Java
  • Created over 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SyncFree/CISE
github

SyncFree

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

SwiftCloud

Java
27
star
2

antidote-fs

A file system backed by AntidoteDB.
Java
12
star
3

crdtdb

The very basic database we make in the riak core tutorial
Erlang
11
star
4

isabelle_crdt_verification

7
star
5

antidote_db

5
star
6

Divergence

Java
3
star
7

Indigo

Java
2
star
8

WP1

Application and environment requirements.
TeX
2
star
9

socialapp

Erlang
2
star
10

adpreplic

Implementation of the Adaptive Replication
Erlang
2
star
11

WP5

Experimental evaluations
Java
1
star