Verification of Hardware Concurrency via Model Learning

Project: Research

AcronymCLeVer
StatusActive
Effective start/end date6/01/2030/09/22

Funding

Eng & Phys Sci Res Council EPSRC: £313,577

ID: 37795617