|
|
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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
DotNET Mobile Web Developers GuiderАвтор: Saurabh Nandu, Автор: dotthatcom.com, Автор: Greg Hack, Автор: Adrian Turtschi, Автор: Jason Werry, Автор: Joseph Albahari, Автор: Wei Meng LeeКатегория: Electronical-Computer-Mechanical
Размер книги: 5.49 Mb
Handbook of Discrete and Combinatorial Mathematics,Автор: Kenneth H. RosenКатегория: science_books, math
Размер книги: 7.99 Mb
Web-based Learning: Technology And Pedagogy - Proceedings of the 4th International ConferenceАвтор: International Conference on Web-based Le, Автор: Reggie Kwan, Автор: Joseph Fong
Размер книги: 10.80 Mb
The Misbehavior of Markets: A Fractal View of Financial TurbulenceАвтор: Benoit Mandelbrot, Автор: Richard L. Hudson
Размер книги: 1.88 Mb
TeLinde's Operative Gynecology, 10th EditionАвтор: John A. Rock, Автор: Howard W. Jones
Размер книги: 39.82 Mb
Рукокрылые Дальнего Востока РоссииАвтор: Тиунов М.П.Категория: биология и медицинская наука
Размер книги: 71 Kb
LegendАвтор: Lynne Carol, Автор: Paulin Brynn, Автор: Green BronwynКатегория: fiction
Размер книги: 779 Kb
|
|
|