Bookmark
Next issue
№1
Publication date:
16 March 2020
Korablin Yu.P.
Ph.D (y.p.k@mail.ru)
Russian State Social University
Author in:
- Process semantics of distributed programming language Co-authors: Кучугуров И.В.
- Questions equivalent schemes of parallel programs Co-authors: Кучугуров И.В., Kosakyan M.L.
- Development tools of verification for device drivers based on semantic models Co-authors: Павлов Е.Г.
- Software tool for simulation modeling with the graph models Co-authors: Незнанов А.А., Карпухин И.Н.
- Analysis tools of Linux operating system drivers development Co-authors: Павлов Е.Г.
- Analysis of the programm use the language of asynchronous functional schemes models using linear-time temporal logic Co-authors: Kosakyan M.L.
- The limitation method for verifiable models Co-authors: Shipov A.A.
- Equational characteristics of LTL formulas Co-authors: Shipov A.A.
- System models construction based on LTL formula equational characteristics Co-authors: Shipov A.A.
- System model verification based on equational characteristics of LTL formulas Co-authors: Shipov A.A., A.S. Kochergin
- The unified representation of LTL and CTL logics formulas by recursive equation systems Co-authors: Shipov A.A.
- Systems model verification based on equational characteristics of СTL formulas Co-authors: Shipov A.A.
