Description
As software becomes large and complex, it becomes more difficult to test or verify the correctness of a system. Continuously monitoring of a running system is a complementary approach to increase the assurance of correct execution, which is known as runtime verification. We have been developed a Monitoring and Checking (MaC) framework to monitor and check running systems against a formal requirement specification.