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”

Previous slide Next slide Back to the first slide View Graphic Version