rosette topic
List
rosette repositories
Cosette
656
Stars
53
Forks
Watchers
Cosette is an automated SQL solver.
serval-sosp19
28
Stars
6
Forks
Watchers
This repo contains the artifact for our SOSP'19 paper on Serval
memsynth
19
Stars
1
Forks
Watchers
An advanced automated reasoning tool for memory consistency model specifications.
__archived__Medjai
15
Stars
2
Forks
Watchers
A Symbolic Execution Tool for Cairo