Sciweavers

INFSOF
2002

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

13 years 3 months ago
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
Carsten Sinz, Thomas Lumpp, Jürgen M. Schneid
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where INFSOF
Authors Carsten Sinz, Thomas Lumpp, Jürgen M. Schneider, Wolfgang Küchlin
Comments (0)