Formal Methods For Industrial Critical Systems. A Survey Of Applications

4.8 звезд, основано на 24 отзывах

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems


Дополнительная информация

Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking

In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner

The purpose of the book is threefold to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination to help designers to adopt the formal methods which are most appropriate for their systems and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

Институт моих кошмаров Адские каникулы
Институт моих кошмаров Адские каникулы

Когда от отчаяния хочется бежать, куда глаза глядят, стоит все-таки смотреть на дорогу. Иначе можно оказаться в Аду, где неспешно текут огненные реки, а стеклянные шпили небоскребов пронзают полные пепла небеса. Опасность поджидает здесь на каждом шагу, шансы на возвращение минимальны, и дружба с демоном уже не поможет..Да и друг ли он Ясно одно в этом странном мире правда принимает самые причудливые очертания...


Авантюра с последствиями, или Отличницу
Авантюра с последствиями, или Отличницу

Плохо демону, которого призвал человеческий маг от дел оторвали, желания исполнять заставляют. Маета, одним словом. А вот каково человеку оказаться на его месте Ладно бы Ждана была магом невиданной силы, но ведь нет, простой химик-лаборант. И как прикажете исполнять три законных желания демона Правильно, вооружившись смекалкой и научным подходом! Главное не влипнуть в новые неприятности и не запутаться в желаниях собственных...


Завтрашний день кошки
Завтрашний день кошки

Во Франции живут две необычные кошки. Одна из них - Бастет, она мечтает понимать людей и научиться с ними общаться. Второй - Пифагор, лабораторный кот. У него на макушке есть USB-разъем, который позволяет ему подключаться к компьютеру и, таким образом, получать знания о мире. Бастет и Пифагор хотят спасти человечество от его пороков и противопоставить агрессии людских существ духовное начало кошек. Но выходит так, что бороться становится невозможно, и кошки вынуждены принять правила человеческой цивилизации. Однако еще не поздно все изменить.


Большая книга ужасов
Большая книга ужасов

Магазин Белые тапочки В старом доме у самого кладбища жил мальчик по имени Анджей. Одноклассники его не любили и дразнили то могильным червяком, то продавцом белых тапочек. А все потому, что его родители торговали похоронными принадлежностями. Но почему-то именно в их магазин люди бросились за помощью, когда в городе вдруг появились кровожадные чудовища Домик у кладбища Когда ты живешь рядом с кладбищем, а твои родители торгуют средствами защиты от нечисти, скучать не приходится. Тем более что работы в последнее время невпроворот то дорожные бесы нападают на одиноких


Оно. Том 2. Воссоединение
Оно. Том 2. Воссоединение

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


Два пламени
Два пламени

Планета, на которой проще погибнуть, чем остаться в живых. Здесь не прощают предательства - этот мир не умеет прощать. Но и дружба крепка - здесь умеют дружить. Алексею придется сражаться за ресурсы, свою жизнь, жизнь друзей. И в статусе князя вскоре предстоит защитить всю планету..


Сталин и Призрак
Сталин и Призрак

Когда-то Разум помог человеку сделать первый свой инструмент. Это был каменный топор. Но Безумие толкнуло его на первое убийство человека при помощи этого топора. Что же в итоге победит Разум или Безумие


Похищенное тело
Похищенное тело

Боже мой! твердил мистер Винси. Вот так так! Боже мой, Боже мой! Других слов у него не находилось. Изумлению его, само собой, не было границ. В сильнейшем замешательстве он переводил взгляд с разгромленной комнаты на привратника и потом обратно. Мистер Винси высказал предположение, что мистер Бессел, вероятно, скоро вернется и все объяснит, но дальше этого разговор не продвинулся и вскоре иссяк. Может статься, зубы у него прихватило, заметил привратник. Бывает, челюсть так зверски заноет ни с того ни


Тайна Лавендер Хилла
Тайна Лавендер Хилла

Молодой писатель Адам Дженкинс, находящийся в творческом кризисе, и не предполагал, что однажды волею случая окажется втянутым в череду жутких событий, которые полностью перевернут его представление о жизни. Найти себя и побороть свои внутренние противоречия, ему неожиданно помогает та, от которой теперь зависит его будущее, которое порой кажется ему весьма сомнительным.


Ад amp Рай
Ад amp Рай

Под станциями московского метро пентаграмма из бункеров Ада. На главных проспектах столицы явочные квартиры ангелов Рая. Но управляет Москвой незримая третья сила. Та, что обратила в пепел Вавилон и Карфаген. Символ ее власти хрустальные шары над городом. Однако трое соперников вынуждены объединиться. Против чего Этой проблемы никто не ждал. Но она способна уничтожить всех. Увлекательно. Неполиткорректно. Скандально. И обалденно смешно! Новый взрыв мозга от мастера черного юмора это настоящая жесть! Ад Рай гарантируют скучно не


Инквизитор Ловец человеков
Инквизитор Ловец человеков

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


Львы и ангелы
Львы и ангелы

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


Заброшенная шахта
Заброшенная шахта

На околице глухого заброшенного селения есть древняя шахта, в которой по преданьям, дремлет могущественная потусторонняя сила. В деревне всего один жилой дом и в нем влачат полунищее существование старуха с внучкой. Девочка погибает под колесами автомобиля. У старухи помутился разум, и она спускается в шахту с любимой внучкиной куклой. Там, в темном сыром подземелье в игрушку вселяется сила, призванная отомстить водителю-убийце и всей его семье. И кукла, словно бы случайно, объявляется в доме мужчины, который был за рулем в тот роковой день


Изображая зло. Книга первая
Изображая зло. Книга первая

Даже в самые т мные времена культ философского камня оставался нетронутым веяниями религиозной философии, провозглашавшей смирение высшей ценностью бессмертие мечта, от которой люди не смогли отречься.События происходят в Европе XXI века. Виктория Морреаф женщина, чья жизнь насчитывает семь столетий, ищет наследника.Между тем Лондон подвергается атаке загадочных сектантов. Убийство соратницы вынуждает Викторию начать расследование, в ходе которого она понимает с ней ведут жестокую игру.


Инок Василий. Святочный рассказ
Инок Василий. Святочный рассказ

Говорят, литература по-настоящему талантлива лишь когда ее автор точно знает, о чем пишет. Инок Василий одна из таких книг. Нет, автор не испытывал на себе прелести алкогольного делирия, но кое-кто охотно делился с ним впечатлениями. Автор не страдал эпилепсией, но видел припадки собственными глазами. Инок Василий дерзкая смесь Сологуба, Булгакова и Стивена Кинга, а еще правдиво рассказанная история. Настолько, насколько может быть правдива повесть мистического жанра.


Древняя кровь
Древняя кровь

Thai Columnist Монстр терроризирует жителей отдаленных таиландских деревень , Jungle News Journal Неизвестное чудовище убивает скот и уничтожает посевы , Bangkok Today Gazette только за последний месяц неведомая тварь унесла в джунгли трех человек . Подобные сообщения не прошли мимо внимания криптозоолога и заядлого путешественника Филиппа Мартынова. Он тщательно изучает истории нападений, свидетельства очевидцев, немногочисленные фото и видеоматериалы и приходит к выводу, что на тайцев нападает гигантский морской змей потомок древнего базилозавра, двадцатиметрового чудовища, обитавшего в океане более тридцати миллионов лет назад. Филипп решает во что бы


Огненный король
Огненный король

Однажды Дана Ларина умерла сорвалась в ледяную пропасть во время экспедиции на Эльбрус. Но вместо того, чтобы просто исчезнуть, она оказывается в каменном городе под серебряной пеленой. Что это параллельная реальность, сказочная страна, волшебный мир Дана почти готова поверить в это, но внезапно ей на помощь приходит мужчина, с которым она всего несколько месяцев назад познакомилась на обычной московской вечеринке. Две реальности, привычная и магическая, тесно переплетаются, чтобы выжить и вернуться домой, Дане придется расследовать преступление, произошедшее тридцать лет назад, и разоблачить убийцу, который уже вышел на охоту


Скупщик
Скупщик

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


Царское имя
Царское имя

Когда в тонкое кружево детективного сюжета вплетается нить мистического, формируется ткань необычного романа. Его канва из разрозненных фактов, загадочных похищений и малоизвестных исторических событий еще очень тонка, но героиня, носящая царское имя, наделена удивительными способностями. Именно ей суждено приподнять таинственное покрывало, сотканное неуловимым мастером криминальных интриг. Отправляясь на поиски пропавшей знакомой, героиня ступает на опасный и полный невероятных открытий путь, ведущий к тайным знаниям наших предков.


Хранители. Поиск Пути
Хранители. Поиск Пути

Странные исчезновения происходят в небольшом городке. Исчезают старшеклассники. Всем пропавшим подросткам снится один и тот же сон лес, которого не может существовать, существа, которых не может быть, древние, которых уже давно нет. Что делать если ты оказался в непонятном таинственном месте и загадочные существа хранители чего-то ждут от тебя Что делать если привычная жизнь навсегда осталась позади Что делать если ты отвечаешь не только за себя, но несешь ответственность за своих родных и близких, за любимых и друзей Что если ты несешь ответственность за весь мир Главному герою предстоит узнать, куда привел его сон


Футуристическая проза и заявки для
Футуристическая проза и заявки для

Тема рассказов и заявок инопланетяне, бессмертие, сингулярность, путешествие во времени.Жанры фантастика, ужасы, комедия.


Хребты безумия
Хребты безумия

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


Finders Keepers
Finders Keepers

A riveting crime thriller about a reader whose obsession with a reclusive writer goes too far, featuring the same trio of unlikely and winning heroes King introduced in MR MERCEDES.


Девочка, которая ждет
Девочка, которая ждет

Вторая книга фэнтези-серии Инсомния писательницы Елены Булгановой, автора популярного цикла Вечники . Алеша и Иоланта многому научились в лагере для подростков-атлантов и в подземных мирах. Но вскоре на ребят обрушивается лавина странных событий школьный тренер втягивает учеников в жутковатые игры на выживание, директор лагеря и его жена бесследно исчезают в Нижнем мире, кто-то могущественный словно испытывает силы и способности юных атлантов, провоцирует их раскрыться Кто же хочет стравить человечество и самые древние расы на Земле И какое отношение ко всему этому имеет таинственный Орден


Библиотека
Библиотека

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


Бестиариум. Дизельные мифы
Бестиариум. Дизельные мифы

И все-таки Он проснулся. Зверь Миров, Повелитель Р льеха, непостижимый и непостигаемый Ктулху пришел на Землю. Но пришел не один, а вместе со всем пантеоном Внешних, Древних и Старших, вместе с Дагоном, Ньярлатотепом, Йог-Сототом Бесконечно далекие от человеческого понимания, чуждые повседневных проблем и забот людей они явились править нашей планетой. История мира необратимо изменилась, 1939 год роковой и для нашей Реальности, стал точкой перелома. Эпоха гордых одиночек, покорителей заоблачных высот и гоночных трасс, сумасшедших ученых и великих диктаторов приняла на себя ужас Пришествия Мифов. Приняла, впитала и смогла ассимилировать. Новая


Цветок с пятью лепестками
Цветок с пятью лепестками

Продолжение истории героев книги Портрет девушки в черном цвете и цикла Власть стихий . История зарождения магии и любви, приключения в мире древней Мидии и в нашем сегодняшнем мире. Похищения и борьба героинь и героев за свою любовь и за право быть собой. Маги и инквизиторы, церковь и сообщества колдуний. Страшные катастрофы и тайные знания. И главная героиня, которая продолжает обретать себя среди самых неожиданных ситуаций.Обложка изготовлена с использованием стоковых фотографий


Старый друг
Старый друг

Вечность понятие растяжимое, как можно сказать. Е можно отнести к разным понятиям. Но в основном е относят к вечной жизни. А Вы хотели бы вечную жизнь