Search for dissertations about: "Formal veri¯cation"

Found 1 swedish dissertation containing the words Formal veri¯cation.

2. 1. Enabling Tool Support for Formal Analysis of ECA Rules

   Author : AnnMarie Ericsson; Sten F. Andler; José Júlio Alferes; Linköpings universitet; []
   Keywords : ECA rules; Timed automata; Formal veri¯cation; TECHNOLOGY; TEKNIKVETENSKAP; Teknik;

   Abstract : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. READ MORE