|
|
libcats.org
Computer Aided Verification, 3 conf., CAV '91Kim G. Larsen, Arne SkouThis volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. The workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. The emphasis is not only on new research results but also on the application of existing results to real verification problems. The papers in the volume areorganized into sections on equivalence checking, model checking, applications, tools for process algebras, the state explosion problem, symbolic model checking, verification and transformation techniques, higher order logic, partial order approaches, hardware verification, timed specification and verification, and automata.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Загадка Скалистого платоАвтор: Ясько Юрий ГеоргиевичКатегория: Детектив, Приключения
Размер книги: 1.01 Mb
Dungeons & Dragons For DummiesАвтор: Bill Slavicsek, Автор: Rich Baker, Автор: Jeff Grubb
Размер книги: 12.62 Mb
Когнитивная дифференцированностьАвтор: Похилько В.И.Категория: Научная литература
Размер книги: 7 Kb
Richard Stallman et la révolution du logiciel libre. Une biographie autorisée.Автор: Sam Williams, Автор: Richard Stallman, Автор: Christophe Masutti
Размер книги: 1.43 Mb
|
|
|