Open AccessConstruction of CFC-programs by LTL-specification
Author(s) -
Дмитрий Александрович Рябухин,
E. V. Kuzmin,
Valery A. Sokolov
Publication year - 2016
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2016-2-173-184
Subject(s) - correctness , programming language , computer science , model checking , linear temporal logic , temporal logic , specification language , data flow diagram , representation (politics) , theoretical computer science , database , politics , political science , law