TLA+ based Verification of Blockchain Protocols
Persone
(Responsabile)
Informazioni aggiuntive
Data d'inizio
01.09.2021
Data di fine
03.12.2023
Durata
27 Mesi
Enti finanziatori
Informal Systems AG
Stato
Concluso
Categoria
Research Contracts /
Private Sector /
Informal Systems AG
