A Generator of Boolean Acceptors

Abstract

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)

Topics

Cite this paper

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