Hardware verification by combining model checking and theorem proving technologies

Project Details

StatusFinished
Effective start/end date30/11/0029/06/04

Funding

  • EPSRC: £59,274.00