@article{3309,
  author = {Andrey Tyugashev, Dmitrii Zheleznov},
  title = {The Application of SMT Solvers in the Mission Critical Software Verification},
  journal = {Journal of E - Technology},
  year = {2021},
  volume = {12},
  number = {3},
  doi = {https://doi.org/10.6025/jet/2021/12/3/86-92},
  url = {https://www.dline.info/jet/fulltext/v12n3/jetv12n3_3.pdf},
  abstract = {We have discussed the application of SMT solvers in the Mission Critical Software verification. We have developed the Rules of verification based on Real-Time Control Algorithm’s Logic. Required specification can be feasible or non-feasible on defined basis of functional control processes. In this model, the feasibility of the specification is being checked by SMT solver Z3. We have used a particular Java application through API for the SMT solver.},
}