Technical systems in logic: questions of formalization and automatic verification

Abstract

In the paper technical systems with counters are considered as logical models. The questions of formalization in temporal logic and automatic analysis via computational tree transformations are discussed.