Runtime verification of programs using rule-based active system

Abstract

Read online

Keywords

• run-time verification
• eca rule
• active database
• aspect-oriented