Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Front Cover
Springer Science & Business Media, Mar 18, 1998 - Computers - 455 pages
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience.
 

What people are saying - Write a review

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

Contents

I
1
II
5
III
20
IV
36
V
52
VI
68
VII
85
VIII
102
XVII
249
XVIII
263
XIX
281
XX
298
XXI
313
XXII
330
XXIII
345
XXIV
358

IX
118
X
136
XI
151
XII
167
XIII
184
XIV
201
XV
217
XVI
232
XXV
376
XXVI
393
XXVII
409
XXVIII
424
XXIX
439
XXX
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 436 - P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program.

Bibliographic information