Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Front Cover
Springer Science & Business Media, Apr 22, 1992 - Computers - 487 pages
This 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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
2
III
13
IV
24
V
37
VI
48
VII
59
VIII
70
XXIV
244
XXV
255
XXVI
266
XXVII
277
XXVIII
288
XXIX
299
XXX
310
XXXI
322

IX
83
X
92
XI
103
XII
114
XIII
125
XIV
136
XV
147
XVI
158
XVII
169
XVIII
181
XIX
192
XX
203
XXI
214
XXII
225
XXIII
233
XXXII
332
XXXIII
343
XXXIV
354
XXXV
365
XXXVI
376
XXXVII
399
XXXVIII
410
XXXIX
421
XL
432
XLI
443
XLII
454
XLIII
466
XLIV
477
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 453 - R. Milner. Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall, New York, 1989.

Bibliographic information