EVOLVE

Evolutionary verification, validation and certification
QREN
Start Date: 
June, 2008
http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/

Team: Manuel Alcino Cunha, Luís Soares Barbosa and José Nuno Oliveira