Towards Compositional Verification of Synchronous Reactive Systems

We present work towards a compositional design approach that will lead designers to develop safe reactive systems. To this end, we extend the theory of I/O-automata that is widely used for modellin...