Formal Methods for Design Representation

The goal of this work is to build a practical, prototype design system for high-level specification of digital systems based on a formal foundation.
Builds on work to date by Baker (synchronous/reactive semantics, coupling to formal verification/synthesis back-ends,) Whitcomb (BLIS, OO-front end, system architecture,) and Edwards (Esterel compiler, Tcl/Tk distributed interfaces.)

Description: