Runtime Verification of Programs Using Rulebased Active System

Runtime verification, monitoring and checking runtime behaviors, plays an increasingly important role to realize tasks that have become inefficientwith static verification and implementation testing. in this paper, we propose a new approach based on a framework to dynamic verification programs. theframework exploits capabilities of active systems for verifying programs. active systems are ones those act based on occurrence of events and therefore it facilitates trapping events and monitoring program's states. the active system is a rule-based system and we use eca rules to show active rules in the active system. thus, defining active behavior is facilitated by eca rules. eca rules are verifier rules in form of event-condition-action. these rules, forming runtimemonitor, verify behavior of system whenever an event occur during program execution. exploiting active systems as event based environments and usingeca rules in context of them, are main contributions of our approach to runtime verification. an active system, forming runtime environment, sets a trapto catch runtime events and then check them by the eca rules. we apply our approach to a classical abstract data type (adt), stack, and express howone can use an active environment to verify safety properties of a stack.