https://www.semanticscholar.org/paper/P … 054080b447

Baier, Christel (немка)
Katoen, Joost-Pieter (голландец)
(вместе - британские учёные)

ISBN 978-0-262-02649-9

2008, Christel Baier & Joost-Pieter Katoen, Principles of Model Checking

«состояние области отражено в монографии К. Байера (С.Ваіег) и Ж-П. Катоена (J-P. Katoen)»
Кристель Байер, Йост-Питер Катоен

---

https://search.rsl.ru/ru/record/06000067215
Dependable Software Engineering. Theories, Tools, and Applications. Vol. 11951 / Nan Guan; Joost-Pieter Katoen; Jun Sun. - Springer International Publishing, 2019.; ISBN 978-3-030-35540-1; 978-3-030-35539-5

---

https://search.rsl.ru/ru/record/06000054060

Formal Techniques for Distributed Objects, Components, and Systems. Vol. 10854 / Christel Baier; Luís Caires. - Springer International Publishing, 2018.; ISBN 978-3-319-92612-4; 978-3-319-92611-7

---

https://search.rsl.ru/ru/record/01010172350

Кривчиков, Максим Александрович.
Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация ... кандидата физико-математических наук : 05.13.17 / Кривчиков Максим Александрович; [Место защиты: Московский гос. ун-т им. М. В. Ломоносова]. - Москва, 2015.

https://www.dissercat.com/content/forma … -predstavl
(700 руб)
https://freereferats.ru/product_info.ph … _id=696456
(250 руб)
https://maxxk.github.io/
https://github.com/maxxk
https://github.com/maxxk/formal-models

---

Handbook of Model Checking / Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut ; Bloem, Roderick. - Springer, 2018.; ISBN 978-3-319-10575-8; 978-3-319-10574-1

---

https://search.rsl.ru/ru/record/01008016188
Стененко, Александр Александрович.
Верификация раскрашенных сетей Петри методом проверки моделей

---

https://search.rsl.ru/ru/record/01002279371

Вирбицкайте, Ирина Бонавентуровна.
Формальные модели и анализ корректности параллельных систем и систем реального времени : диссертация ... доктора физико-математических наук : 05.13.11. - Новосибирск, 2001. - 286 с.

---

https://search.rsl.ru/ru/record/07000453426

Моделирование и анализ информационных систем. 2021.
2021, Т. 28, № 1. - 2021. - 119 с.

---

https://search.rsl.ru/ru/record/01004149707

Васильев, Павел Константинович.
Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : диссертация ... кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович; [Место защиты: С.-Петерб. гос. ун-т]. - Санкт-Петербург, 2008. - 151 с.

---

https://search.rsl.ru/ru/record/07000373367

Моделирование и анализ информационных систем. 2019.
2019, Т. 26, № 3 (81). - 2019. - [4], 317-468 с.

---

https://search.rsl.ru/ru/record/01004650158

Дехтярь, Михаил Иосифович.
Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17 / Дехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН]. - Тверь, 2009. - 383 с. : ил.

Отредактировано Лис (2025-12-29 21:30:58)