Верификация моделей программ: Model checking
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Издательство:
Московский центр непрерывного математического образования
Дата выхода: январь 2002