For citations:
Neyzov M.V., Kuzmin E.V. Verification of declarative LTL-specification of control programs behavior. Modeling and Analysis of Information Systems. 2024;31(2):120-141. (In Russ.) https://doi.org/10.18255/1818-1015-2024-2-120-141
Fullscreen
Popular articles
Vol 24, No 2 (2017)
Vol 24, No 2 (2017)
Vol 24, No 3 (2017)
Vol 24, No 2 (2017)
Vol 24, No 2 (2017)
Vol 24, No 2 (2017)
Article Tools
Email this article (Login required)
Email the author (Login required)
Email this article (Login required)
Email the author (Login required)
About the Authors
Keywords
Petri nets
SDN
asymptotic
asymptotics
bifurcation
boundary value problem
delay
delay differential equation
entropy
large parameter
model checking
natural language processing
norm
normal form
periodic solution
process mining
singular perturbation
small parameter
specification
stability
verification
Yaroslavl State University, MAIS
14 Sovetskaya str., Yaroslavl 150003, Russian Federation
E-mail: mais@uniyar.ac.ru
