The sixth MEMOCODE conference will gather researchers and practitioners who design modern hardware/software systems. Our goal is to consider new formal and systematic techniques for the design of dependable hardware/software systems. Many new languages, abstractions, refinement and analysis techniques already proved to provide a sound methodological basis for high–level modeling, design, and development of hardware and software systems including the adaptation and re–use of existing components. <b>Keywords:</b> * dependable design methodologies<br>* specification and modeling of hardware/software systems<br>* formal verification (model checking, theorem proving)<br>* specification–based testing<br>* dependable synthesis methods for hardware and software<br>* component–based design and design space exploration<br>* optimization and hardware/software partitioning<br>* performance/power analysis
Abbrevation
MEMOCODE
City
Anaheim
Country
United States
Deadline Paper
Start Date
End Date
Abstract