Abbrevation
MEMOCODE
City
Nice
Country
France
Deadline Paper
Start Date
End Date
Abstract
The MEMOCODE conferences gather together researchers and practitioners on hardware–software codesign. MEMOCODE′s mission is to explore ways in which future design methods can benefit from new results on formal methods. <b>Keywords:</b> # formal system/property specification languages<br># modeling hardware/software systems<br># formal methods for performance/power analysis<br># optimization based on formal methods<br># formal verification (model checking, theorem proving)<br># specification–based testing<br># design methodologies based on formal methods<br># component–based design/design space exploration<br>