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