Кларк, Эдмунд М., мл. <br/><br/>
Верификация моделей программ=  Model Checking / 
Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. под. ред. В. Захарова и др. 
 - Москва :  Изд-во Моск. центра непрерыв. мат. образования,  2002. 
 - 416 с.  ил. 
<br/><br/>Библиогр.: с. 377-399 
<br/><br/> В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем. 
<br/><br/><label>ISBN: </label>5940570542 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительная техника--Вычислительные машины электронные цифровые<br/>Программирование<br/>Автоматизация
<br/><br/><label>Subjects--Index Terms: </label>Верификация систем программирования Верификация моделей программ Параллельные системы с конечным числом состояний Модели в темпоральной логике