issues
search
heidihoward
/
pbft-tlaplus
Formal specification of PBFT in TLA+
MIT License
7
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Inductive invariant validation.
#6
lemmy
closed
2 months ago
0
Inductive invariant validation with Apalache and TLC
#5
lemmy
closed
2 months ago
5
Restructure message injection
#4
heidihoward
closed
4 months ago
0
TLC overflow when byzantine nodes is non-empty
#3
heidihoward
closed
4 months ago
1
Fix Apalache type annotations by migrating to type system 1.2.
#2
lemmy
closed
4 months ago
2
Initial predicate suitable for validating inductive invariants probabilistically
#1
lemmy
closed
4 months ago
0