SolidiKey Asset Flow Verification at scale
Research Project, 2022
– 2023
Description missing.
Participants
Wolfgang Ahrendt (contact)
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Funding
Ethereum Foundation
Project ID: FY22-0641
Funding Chalmers participation during 2022–2023