William Schultz
Results
6
repositories owned by
William Schultz
mongo-repl-tla-models
21
Stars
2
Forks
Watchers
TLC models for the MongoDB Replication TLA+ specification.
snapshot-isolation-spec
18
Stars
2
Forks
Watchers
A formal specification of snapshot isolation.
spectacle
125
Stars
9
Forks
Watchers
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
tlaplus_animation
46
Stars
3
Forks
Watchers
A TLA+ module for animating TLC traces.
tlaplus_repl
40
Stars
1
Forks
Watchers
A simple REPL for TLA+.