▽ The Esterel Language ●09/22 22:40 CMA Computer Science Group Meije Computer Science Group Formal Methods The ESTEREL Language Welcome to Esterel and Synchronous Reactive Programming ! Esterel is both a programming language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state machines. It is one of a family of synchronous languages, like SyncCharts,Lustre,Argosor Signal,whic
▽The BOOP Toolkit v0.42 ●09/10 08:37 Developed at the Institute for Software Technology This page contains all information that you need for downloading, installing and using the BOOP Toolkit. About BOOP Downloading BOOP Installing BOOP Using BOOP Documentation (Thesis) Reporting problems Links The BOOP Toolkit was not implemented from the scratch. We utilized the tools of several other research groups. Please visit the homepages of