issues
search
informalsystems
/
verification
Specifications of the protocols and the experiments on their verification
9
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Tendermint safety and fork scenarios
#13
konnov
closed
3 years ago
4
Formalize security properties of IBC
#12
cwgoes
opened
4 years ago
0
lite-client/Blockchain.tla explain fault model with respect to the spec
#11
OStevan
opened
4 years ago
2
light-client/Blockchain.tla false properties pass
#10
ancazamfir
opened
4 years ago
11
Update Lightclient.tla
#9
decanus
closed
4 years ago
1
Discrepancy in IsCorrectPowerForSet docs and implementation
#8
OStevan
opened
4 years ago
4
High level fast sync spec
#7
milosevic
closed
4 years ago
3
Ilina/fastsync concurrency
#6
istoilkovska
closed
3 years ago
6
spec for fast sync scheduler
#5
ancazamfir
closed
3 years ago
2
Specification of the light client
#4
konnov
closed
4 years ago
9
Clear master
#3
ebuchman
closed
4 years ago
3
a specification of blockchain for liteclient and accountability
#2
konnov
closed
4 years ago
1
Issue model checking blockchain.tla
#1
ebuchman
closed
4 years ago
1