Formal Methods for Design Representation
Formal Methods for Design Representation
OO NDFA-based
representation
(Baker)
Evaluation of
Temporal Models
(Baker, Whitcomb, et. al.)
1988
Selection of
Reactive Approach
(Baker)
Evaluation of
Applicative Models
(Whitcomb)
Selection of
SDF Approach
(Whitcomb)
Implementation of
Prototype System BLIS
(Whitcomb)
Refine Back-End
Synchronous/Reactive
& Couple to Formal Verification
(Baker)
Implement Efficient
Esterel Compiler
(Edwards)
THIS PROJECT
Determine VHDL Reactive Subset
and Couple to Back End
(Baker)
1994
SRC, 1994
Meyer, “Eiffel”