Информация о книге

0262032708

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Управление и проектирование информационных систем » Проектирование ИС » Model Checking

Clarke E., Grumberg O., Peled D., Model Checking

, 0262032708 , 60*90/16 мм., тираж: 1000


Описание книги

"Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades." -- R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1999 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to...

Поделиться ссылкой на книгу




Об авторе

Clarke E.

Grumberg O.

Peled D.


Последние поступления в рубрике "Проектирование ИС"



Применение UML 2.0 и шаблонов проектирования. Практическое руководство Применение UML 2.0 и шаблонов проектирования. Практическое руководство Ларман К.

В книге рассматриваются основные принципы и приемы объектно-ориентированного анализа и проектирования (ООА/П). В ней вы найдете сведения об итеративном и гибком моделировании, шаблонах проектирования, архитектурном анализе и многих других вопросах.......

Программная инженерия. Визуальное моделирование программных систем. Учебник для СПО Программная инженерия. Визуальное моделирование программных систем. Учебник для СПО Черткова Е.

В учебнике изложены ключевые понятия программной инженерии методы, технологии, модели процесса разработки программного обеспечения. Рассмотрены инструментальные средства программной инженерии, предназначенные для автоматизации процессов разработки......

Проектирование информационных систем. Учебное пособие для вузов Проектирование информационных систем. Учебное пособие для вузов Григорьева И.С., Григорьев М.А.

В пособии хорошо представлены основные современные методы и программные решения создания информационных систем, особенно рассмотрены аспекты, имеющие непосредственное отношение к работе аналитика (проектировщика) и даны соответствующие описательные примеры, представлены методы расчета и статистические данные....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Clarke E., Grumberg O., Peled D., Model Checking в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.