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

9783838317380

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Основы информационных технологий » Информатика » The Verification of MDG Algorithms in the HOL Theorem Prover

Mohamed S., The Verification of MDG Algorithms in the HOL Theorem Prover

LAP Lambert Academic Publishing, 2010 г., 160 стр., 9783838317380


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

Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking (MC)) or deductive reasoning (theorem proving). The combination of the two approaches promises to overcome the limitation and to enhance the capabilities of each. Our research is motivated by this goal. In this book, we provide the necessary infrastructure (data structure + algorithms) to define high level states exploration in the HOL theorem prover named as MDG-HOL platform. We have based our approach on Multiway Decision Graphs (MDGs). We formalize the basic MDG operations within HOL following a deep embedding approach. Then, we derive the correctness proof for each MDG basic operator. Based on this platform, the MDG reachability analysis is defined in HOL as a conversion that uses the MDG theory within HOL. Finally, we propose a reduction technique to improve MDGs MC based on MDG-HOL platform. The idea is to prune the transition relation of the...

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




Об авторе

Mohamed S.


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



Наука о данных. Базовый курс Наука о данных. Базовый курс Келлехер Д.

Сегодня наука о данных используется практически во всех сферах: вы видите подобранные специально для вас рекламные объявления, рекомендованные на основе ваших предпочтений фильмы и книги, ссылки на предполагаемых друзей в соцсетях, отфильтрованные......

Теория конфликтов и игр Теория конфликтов и игр Смольяков Э.Р.

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

Homo Roboticus? Люди и машины в поисках взаимопонимания Homo Roboticus? Люди и машины в поисках взаимопонимания Маркофф Д.

Хотим мы этого или нет, но скоро нам придется сосуществовать с автономными машинами. Уже сейчас мы тратим заметную часть времени на взаимодействие с механическими подобиями людей в видеоиграх или в виртуальных системах - от FAQbots до Siri. Кем они......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Mohamed S., The Verification of MDG Algorithms in the HOL Theorem Prover в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.