BZR is a reactive language, belonging to the synchronous languages family, whose main feature is to include discrete controller synthesis within its compilation.

It is equipped with a behavioral contract mechanisms, where assumptions can be described, as well as an "enforce" property part: the semantics of this latter is that the property should be enforced by controlling the behaviour of the node equipped with the contract. This property will be enforced by an automatically built controller, which will act on free controllable variables given by the programmer.

BZR is developed in the Ctrl-A team.

How to get it or try it

Technical requirements

Running the BZR compiler requires the following external tools, on top of which it is built:


Please contact us for further information.

Main participants

GwenaŽl Delaval Assistant Prof. at UGA +33 4 76 61 54 31 mail web
Hervť Marchand Researcher at INRIA +33 2 99 84 75 09 mail web
Eric Rutten Researcher at INRIA +33 4 76 61 55 50 mail web