Detection of dynamic execution errors in IBM system automation's rule-based expert system

We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert system in Propositional Dynamic Logic (PDL), we encode termination and determinism properties in PDL and its extension

• Type: Journal
• Year: 2002
• Where: INFSOF
• Authors: Carsten Sinz, Thomas Lumpp, Jürgen M. Schneider, Wolfgang Küchlin
• Keywords: Expert Systems, INFSOF 2002, Propositional Dynamic Logic, System Automation