will62794

Pinned Repositories

endive
Tool for automatically inferring inductive invariants of distributed protocols.
Language:TLA13 4 03
endive-artifact
Language:TLA3 3 10
initial-sync-tla
TLA+ specification of MongoDB replication initial sync.
Language:TLA3 3 00
logless-reconfig
TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
Language:TLA11 6 00
mongo-repl-tla-models
TLC models for the MongoDB Replication TLA+ specification.
Language:TLA20 3 12
MP-69D-Scoreboard-Decoder
Arduino code and a Python script for decoding the data signal from the Fairplay MP-69D scoreboard controller unit.
Language:Python7 3 11
snapshot-isolation-spec
A formal specification of snapshot isolation.
Language:TLA18 3 02
tla-web
Interactive, web-based environment for exploring and visualizing TLA+ specifications.
Language:TLA74 5 447
tlaplus_animation
A TLA+ module for animating TLC traces.
Language:TLA45 6 53
tlaplus_repl
A simple REPL for TLA+.
Language:Python39 5 32

will62794's Repositories

will62794/tla-web
Interactive, web-based environment for exploring and visualizing TLA+ specifications.
Language:TLA74 5 447
will62794/tlaplus_repl
A simple REPL for TLA+.
Language:Python39 5 32
will62794/mongo-repl-tla-models
TLC models for the MongoDB Replication TLA+ specification.
Language:TLA20 3 12
will62794/snapshot-isolation-spec
A formal specification of snapshot isolation.
Language:TLA18 3 02
will62794/endive
Tool for automatically inferring inductive invariants of distributed protocols.
Language:TLA13 4 03
will62794/logless-reconfig
TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
Language:TLA11 6 00
will62794/MP-69D-Scoreboard-Decoder
Arduino code and a Python script for decoding the data signal from the Fairplay MP-69D scoreboard controller unit.
Language:Python7 3 11
will62794/endive-artifact
Language:TLA3 3 10
will62794/mongo-repl-tla
TLA+ Specification of the MongoDB Replication Protocol
Language:TLA3 2 0
will62794/will62794.github.io
My personal website.
Language:Python2 2 0
will62794/mongo-repl-reconfig
TLA+ spec of reconfiguration in MongoDB replication.
Language:TLA1 4 01
will62794/my-notes
Language:HTML1 3 0
will62794/mypaxos
Language:TLA1 3 0
will62794/mysat
Language:C++1 3 0
will62794/raft-by-refinement
Exploring refinement-based specification of the Raft consensus protocol.
Language:TLA1 3 0
will62794/scimitar
Verification tool for distributed protocols based on inductive proof decomposition.
Language:TLA1
will62794/avr
Reads a state transition system and performs property checking
Language:Verilog2 0
will62794/conf
Language:CSS1 0
will62794/dafny
Dafny is a verification-aware programming language
Language:C#2 0
will62794/DistAI
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
Language:Python2 0
will62794/ic3po
IC3PO: IC3 for Proving Protocol Properties
Language:Python2 0
will62794/latex-action-test
Test building LaTeX PDF on Github.
Language:TeX3 0
will62794/mypyvy
A language for symbolic transitions system, inspired by Ivy.
Language:Python2 0
will62794/on-epaxos-correctness
On the correctness of Egalitarian Paxos
Language:TeX1 0
will62794/simple-ic3
Language:Python2 0
will62794/spring22
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
Language:Coq2 0
will62794/SWISS
Automatically synthesizing invariants of distributed systems
Language:Python2 0
will62794/tips
Tips.
Language:TeX3 0
will62794/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Language:Java2 0
will62794/tree-sitter-tlaplus
A tree-sitter grammar for TLA+
Language:C2 0