libcats.org
Главная

Logic in computer science: modelling and reasoning about systems

Обложка книги Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems

, , ,
In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal training that allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic and an introduction to the logical frameworks used in modeling, specifying and verifying computer systems. Coverage provides a simple and clear presentation, detailing propositional and predicate logic as well as some specialized logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology; further technicalities are introduced only where they are required by the applications. Numerous examples are given, as well as a full exposition of a fast-growing technique for modeling and verifying computer systems, known as symbolic model checking. It will be an ideal introduction for undergraduate students. A worldwide web tutorial that supports the course activities and provides solutions to the sample exercises is available to instructors.
Популярные книги за неделю:

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Железный замок

Автор: , Автор:
Категория: Фэнтези
Размер книги: 654 Kb

Т.Фадеев. Руки матери (Рассказ)

Автор:
Размер книги: 22 Kb

Woodworking Shopnotes 003 - Handy Tool Carry All

Автор:
Категория: Engineering, The Art of Woodworking
Размер книги: 4.29 Mb

Nuclear Physics

Автор: , Автор: , Автор:
Размер книги: 7.77 Mb

Coexisting with Large Carnivores: Lessons From Greater Yellowstone

Автор: , Автор: , Автор:
Размер книги: 3.58 Mb

Starter for Ten

Автор:
Размер книги: 269 Kb

Met de honden mee

Автор:
Категория: fiction
Размер книги: 66 Kb

Lassie

Автор:
Категория: fiction
Размер книги: 310 Kb