A Formalism to describe cyclogram testing models and perform model verification

Abstract

We develop a formal system for describing cyclograms in interval temporal logic. We show that it can be applied for modeling and verification (testing correctness) of cyclogram models (CM). We describe how a rule-based knowledge base of a CM and instruments for constructing algorithms that output discrete controlling influences can be used to improve testing quality.