Open AccessTechnical systems in logic: questions of formalization and automatic verification
Author(s) -
Antoniepeivoda
Publication year - 2013
Publication title -
logičeskie issledovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2013-19-0-148-165
Subject(s) - computer science , computation tree logic , temporal logic , programming language , tree (set theory) , theoretical computer science , software engineering , mathematics , mathematical analysis
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.