Formal Methods for Design Representation
Formal Methods for Design Representation
- To define a larger set of formal semantics capable of representing large, interacting, heterogeneous digital systems efficiently.
- To build a design environment based on these semantics which implements a design-oriented user interface.
- To design a large system within this environment as proof-of-concept.
Three-year goals:
SRC, 1994