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

כריכה קדמית
Springer Science & Business Media, 18 במרץ 1998 - 455 עמודים
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.
 

מה אומרים אנשים - כתיבת ביקורת

לא מצאנו ביקורות במקומות הרגילים

תוכן

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
זכויות יוצרים

מהדורות אחרות - הצג הכל

מונחים וביטויים נפוצים

קטעים בולטים

עמוד 436 - P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program.

מידע ביבליוגרפי