Open AccessConstruction of PLC IL-Programs by LTL-Specification
Author(s) -
D. A. Ryabukhin,
E. V. Kuzmin,
Valery A. Sokolov
Publication year - 2014
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2014-2-26-38
Subject(s) - programming language , correctness , model checking , computer science , variable (mathematics) , linear temporal logic , temporal logic , computation tree logic , program synthesis , algorithm , theoretical computer science , mathematics , mathematical analysis