|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Математические модели и методы верификации процессовкнига
- Автор: Миронов Андрей Михайлович
- Год издания: 2022
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Объём: 104 страниц (5,0 печатных листов)
- ISBN: 978-5-317-06893-6
- Тираж: 100 экз.
- Монография
- Аннотация: Книга "Математические модели и методы верификации процессов" относится к актуальной области современного теоретического программирования - моделированию и верификации дискретных динамических систем, возникающих в современной индустрии информационных технологий. Проблемы верификации различных свойств корректности, безопасности, оптимальности и других свойств программных и аппаратных систем занимают центральное положение в современной индустрии разработки высоконадежных компьютерных систем. Автор излагает математические модели процессов, определяет алгебраические операции на процессах и приводит их свойства, определяет различные отношения эквивалентности на процессах и излагает алгоритмы доказательства эквивалентности процессов. В книге излагается важный класс процессов, называемых процессами с передачей сообщений. Автор приводит примеры моделирования процессами с передачей сообщений протоколов передачи данных через ненадежную среду. Книга полезна математикам, специализирующимся в области математического моделирования компьютерных систем, а также специалистам в области разработки высоконадежного программного обеспечения.
- Добавил в систему: Миронов Андрей Михайлович