Verification of Hardware Concurrency via Model Learning

Project: Research

Project Details

AcronymCLeVer
StatusFinished
Effective start/end date6/01/20 → 30/11/23

Funding

  • Eng & Phys Sci Res Council EPSRC: £313,577.00