Application of logical programming for the analysis of aggregative specifications
Volume 2, Issue 2 (1991), pp. 255–277
Pub. online: 1 January 1991
Type: Research Article
Published
1 January 1991
1 January 1991
Abstract
The paper considers the analysis technique of the general and individual properties of aggregative specifications. The method is based on constructing a set of axioms describing both the aggregate specifications and the properties of the model under investigation. The resolution method using logical programming language PROLOG is applied in creating the axiom system. An example of aggregative specification analysis for the alternating bit protocol is presented.