The name «temporal logic» may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts – highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems. Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability. Models temporal notions and uses them to analyze computational systems Provides a broad approach to temporal logic across many formal methods – including specification, verification and implementation Introduces and explains freely available tools based on temporal logics and shows how these can be applied Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.

техническая литература

технические науки

электроника

An Introduction to Practical Formal Methods Using Temporal Logic

любовные романы

фэнтези

учебная и научная литература

современная русская литература

современные любовные романы

современная зарубежная литература

детективы

об истории серьезно

приключения

книги о приключениях

ужасы / мистика

учебники и пособия для вузов

cтихи, поэзия

книги по психологии

стихи и поэзия

гуманитарные и общественные науки

русская классика

мистика

боевики, остросюжетная литература

публицистическая литература

Почему у ведущих ученых и программистом не получается оживить искусственный интеллект? Про какой ингредиент они забывают? Несовершенный герой рассказа входит в область неизведанного и происходит неожиданное!

детективная фантастика

любовно-фантастические романы

Гармонизация. Неочевидный алгоритм

Глядя в ночное звездное небо, о чем вы думаете? Вероятнее всего, о том, возможна ли иная жизнь во Вселенной. В самом деле, насколько безумна мысль о существовании на далеких планетах разумных созданий и их способности с легкостью перемещаться по бескрайним космическим просторам? И что могло бы заставить представителей высокоразвитой цивилизации покинуть свою планету — жажда исследования неведомого или же нечто другое?.. Звездное небо исполнено вопросов…

киберпанк

научная фантастика

русское фэнтези

Явь

Старая легенда о духе леса, проклятии Болотея и тайне Агафонихи — всё это кажется лишь сказкой, пока в глухих селениях Верхнеситья не начинают происходить события, в которых прошлое оживает. Молодой крестьянский парень Ваня Лыко, втянутый в водоворот Гражданской войны, бежит от ошибок, не зная, что идёт навстречу своей судьбе. Спустя годы в эти края возвращается потомок дворянского рода Турчаниновых, чтобы найти спрятанное сокровище и раскрыть тайны, скрытые в завещании предка. Но Агафониха — не просто лес. Это место силы, где граница между реальностью и мифом стирается, где духи прошлого продолжают вершить свою волю. Судьбы героев, разделённые временем, сходятся там, где оживает история, и каждый шаг может стать решающим. Повесть о поиске смысла, памяти и себе — на фоне суровой и прекрасной русской земли.

исторические приключения

Тайны Агафонихи

1981... Запах свободы витал в воздухе, смешиваясь с ароматом далеких стран и новых горизонтов. Это был год романтических путешествий, когда мир открывал свои объятия тем, кто смел мечтать и открывать для себя неизведанное. Двадцать один год, первое путешествие без родителей, и билет в неизвестность - Армению! Вместе с любимой сестрой, Таней, Люда бросается в омут приключений, оставляя позади родной Новосибирск. От черноморского побережья до древних армянских гор - это история о взрослении, сестринской любви и открытии себя в волнующих пейзажах и неожиданных поворотах судьбы. Готовы ли они к тому, что ждет их в этой захватывающей поездке?  

морские приключения

книги о путешествиях

Два билета в Армению

В мире, где пар и механика заменили современные технологии, профессор Фридрих Дмитриев посвятил жизнь изучению эфира и параллельных реальностей. Его изобретение — «Эфирный Компас» — должно было открыть дверь в иные миры. Но когда эксперимент удаётся, Фридрих оказывается в альтернативной версии своего города, где правят тирания и разруха.  
Здесь его двойник погиб, а Бюро Прогресса превратило науку в орудие подавления. Вместе с подпольщиками — отчаянными борцами за свободу — профессор пытается восстановить Компас и вернуться домой. Но цена спасения оказывается выше, чем он мог представить: предательства, жертвы и осознание, что каждое открытие может нести как надежду, так и угрозу.  
 «Эфирный компас» — это история о научной одержимости, ответственности и хрупкости реальности. О том, как один шаг за грань известного меняет всё, а спасение одного мира может стать началом войны для другого.

боевая фантастика

социальная фантастика

героическое фэнтези

Эфирный компас

Афганская девушка Фируза отсидела в тюрьме десять лет за то, что хотела жить не по шариатским законам, а по закону любви. Через три дня она должна освободиться. Ее любимый Джаред тоже. Наконец-то они свободны и смогут начать все сначала... Но выдержала ли их любовь испытание длинной в десять лет?

классическая проза

любовь и отношения

Три дня до освобождения

Однажды летом страну охватила эпидемия неизвестного вируса. Гражданам
запрещено покидать квартиры, движение транспорта остановлено.
Двенадцать пассажиров поезда Сочи — Москва оказались брошенными на
произвол судьбы в русском лесу. Известно только то, что их жизни в опасности,
а спасения нет. Отрезанные от мира и общества люди остаются в вагоне
и пытаются выжить. Но угроза совсем близко, а мутации вируса
непредсказуемы.

триллеры

ужасы

Вечный билет

Полная версия

An Introduction to Practical Formal Methods Using Temporal Logic

Другие книги автора