Provably Correct Hardware/Software Codesign

Participants:

EU sites

Oxford University Computing Lab (Contact: Prof. C.A.R. Hoare )

Technical University of Denmark (Contact: Prof. Anders P. Ravn )

Carl von Ossietzky University of Oldenburg (Contact: Prof. Ernst-Rudiger Olderog )

Christian-Albrechts-University of Kiel (Contact: Prof. Hans Langmaack )

Non-EU site

Federal University of Pernambuco (Contact: Prof. Augusto Sampaio )

Project Summary

Proposed Co-operation

Results Obtained

Progress Reports

First Year

Second Year

Third Year






Back to Augusto Sampaio's main page