In this paper we present
, a tool for the synthesis of correct-by-design embedded control software.
relies on recent results on approximate abstractions of control systems to reduce the synthesis of control software to the synthesis of reactive controllers for finite-state models. We describe the capabilities of
and illustrate them through an example.