A basis for compositionally ensuring safety properties and its connection to relational algebraic operators
We introduce an approach to reduce inducers of cooperating systems. The approach can be applied in polynomial time in the number of subsystems. Discussion of the preciseness of our approach. Presentation of results of our reduction operator on parameterized examples. We show a connection to the field of relational algebra.
cooperating systems compositional verification system properties database theory