Verification of Hardware Concurrency via Model Learning

Sammartino, Matteo (PI)

Project: Research

Acronym	CLeVer
Status	Active
Effective start/end date	6/01/20 → 31/03/25

Funding

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