Open AccessConstruction and Verification of PLC-programs by LTL-specification
Author(s) -
E. V. Kuzmin,
Valery A. Sokolov,
Дмитрий Александрович Рябухин
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2013-4-5-22
Subject(s) - model checking , programming language , correctness , computer science , linear temporal logic , variable (mathematics) , temporal logic , computation tree logic , algorithm , mathematics , mathematical analysis