TLA+ based Verification of Blockchain Protocols
People
(Responsible)
Additional information
Start date
01.09.2021
End date
03.12.2023
Duration
28 Months
Funding sources
Informal Systems AG
Status
Ended
Category
Industrial Contracts
