The goal of MEMOCODE is to gather together software and hardware researchers and practitioners to explore ways in which software and hardware design can exploit research results in formal methods. Papers, panel proposals, and tutorial proposals are invited on topics relevant to the application of formal methods to hardware and software design. <b>Keywords:</b> High–level models and languages, De–facto standard programming languages, Synchronous languages, domain–specific languages, data–flow frameworks, From general–purpose languages to formal semantics models, Concurrency models for local synchrony and global asynchrony, Analysis and verification techniques, Program analysis, abstract interpretation, model checking, Intermediate representations: data structures and algorithms, Formal representation of behavioral abstractions: types, relations, automata, (Re)engineering and component–based design, Models for component–based design: architecture models, concurrency models, Program analysis techniques for abstracting and reengineering existing IP, Formal methods for components integration: verification, test, validation, Methodological issues, Suitable design–flows for large systems, Refinement–based design and refinement checking, Object–oriented modeling and contract–based checking, Distribution: fault–tolerance, scheduling, Non–functional requirements: portability, availability, maintanability
Abbrevation
MEMOCODE
City
Napa Valley
Country
United States
Deadline Paper
Start Date
End Date
Abstract