home of the Model-Based Design Lab
and the Computational Modeling Workbench
Models-of-computation are the foundation building blocks of a model-based, or model-driven, design process and the design-automation methods that deliver such a process.
The Computational Modeling Workbench is an educational tool and a playground for some of the most basic models of computation: regular languages (Finite Automata, Regular Expressions, Linear Temporal Logic); Discrete-Time Markov Chains; Timed Dataflow and Max-plus-linear Algebra.