08 February 2006
Didier BERT
Didier BERT
28 January 2006
25 January 2006
VeriCode Home Page
The Code Verification subgroup focuses on the task of formal verification of program code. That is, given a programming language (Java, Erlang) we provide a method for checking whether a program satisfies its correctness requirements.
West Team: High Performance Computing
Co-modeling for SoC Design West Team: High Performance Computing
Daniel DEVEAUX
[email protected] Campus de Tohannic, Rue Yves Mainguy / IUT, 8 rue Montaigne 56000 Vannes, FRANCE Tél : +33 297 017 241 / 626 451 Fax : +33 297 683 233
22 January 2006
1
(7 marks)
