A Generator of Boolean Acceptors


Reactive systems are real-time systems which continuously react to their environment. The Synchronie environment integrates several synchronous languages to design such systems as well as several formalisms and tools to verify their properties. The integration is based on Boolean Automata, BA for short. This paper presents how safety properties speciied in… (More)


Cite this paper

@inproceedings{Merceron1998AGO, title={A Generator of Boolean Acceptors}, author={Alexandra Merceron}, year={1998} }