Open AccessFORMAL VERIFICATION PROBLEM SOLVED WITH THE MODEL CHECKING METHOD SPATIAL COMPLEXITY ESTIMATION
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/2663-5941/2020.5/24
Subject(s) - model checking , computer science , formal verification , formal methods , algorithm , estimation , theoretical computer science , programming language , systems engineering , engineering