Open AccessApplication of SMT solvers for evaluation of Real-Time control logic of spacecraft
Author(s) -
Andrey A. Tyugashev
Publication year - 2018
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1096/1/012156
Subject(s) - computer science , solver , satisfiability modulo theories , spacecraft , temporal logic , programming language , control logic , process (computing) , key (lock) , java , embedded system , control engineering , operating system , engineering , aerospace engineering