Аннотация:Current condition and applications of temporal logic (TL) are presented. Formal model of the computation process is given. Definition of TL language, its main predicates and their forms are described. Example of TL application for program systems behaviour specification, hierarchy of the program properties specified on TL, approaches to the designing the specification systems on TL base are overviewed.
ISSN: 01323474