Open AccessRESEARCH ON MULTITHREADED IMPLEMENTATION OF MODEL CHECKINGMETHOD FOR TEMPORAL LOGIC OF ACTIONS
Author(s) -
Vadym Shkarupylo,
O.A. Chemerys,
V.V. Dusheba,
Равіль Камілович Кудерметов
Publication year - 2020
Publication title -
včenì zapiski tavrìjsʹkogo nacìonalʹnogo unìversitetu ìmenì v. ì. vernadsʹkogo. serìâ tehnìčnì nauki
Language(s) - English
Resource type - Journals
eISSN - 2663-595X
pISSN - 2663-5941
DOI - 10.32838/tnu-2663-5941/2020.6-1/28
Subject(s) - computer science , temporal logic , programming language