VOCHS: Verification of Complex Hierarchical Systems

Funded by: NWO
Duration: September 2010 until August 2014
Contact: Gijs Kant MSc
Further information: http://www.win.tue.nl/~timw/vochs.php