Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, Volume 3

Front Cover
Ed Brinksma
Springer Science & Business Media, Mar 20, 1997 - Computers - 431 pages
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.
 

What people are saying - Write a review

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

Contents

I
1
II
4
III
19
IV
35
V
50
VI
65
VII
81
VIII
96
XVI
224
XVII
239
XVIII
259
XIX
275
XX
290
XXI
306
XXII
321
XXIII
334

IX
112
X
130
XI
145
XII
165
XIII
183
XIV
203
XV
209
XXIV
351
XXV
366
XXVI
384
XXVII
399
XXVIII
416
XXIX
433
Copyright

Common terms and phrases

Bibliographic information