Monitor-based run-time contract verification of distributed systems

The design of large scale complex systems demands the ability to correctly specify and verify as early as possible in the design cycle the interaction of the different components to ensure that the global level requirements are satisfied. We address this issue using an approach based on the notion o... View More