Skip to main content

A System for Parallel Model Checking

Project Dates: From January 2000 to December 2002

Project Leader: Prof. Maciej Koutny

Staff: Dr. Victor Khomenko

Sponsors: EPSRC