School of Computing Science

Projects

A System for Parallel Model Checking