Tools and Algorithms for the Construction of Analysis of Systems

4.11 - 1251 ratings - Source

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 28 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. Also included are one invited paper, a position statement, and one ETAPS tool demonstration. The papers are organized in topical sections on real-time systems, case studies, compositionality and abstraction, symbolic analysis, process algebras, frameworks for system construction and analysis, and tool descriptions.5th International Conference, TACASa#39;99, Held as Part of the Joint European
Conferences on Theory and Practice of ... Terms R(b) : Terms R : Terms = = =
outp(d) o send(a, b) % normal part receiver rec(d, b) o ( RE(b) * RN(b) ) (R(t) o R(f)
)*delta Further, ... This proof shows the main advantage of using equality over a
user-defined congruence; substitution in contexts, ... In a manual proof, however,
usually not all intermediate steps are written down, whereas a tool such as PVS
requires aanbsp;...

Title

:

Tools and Algorithms for the Construction of Analysis of Systems

Author

:

Walter R. Cleaveland

Publisher

:

Springer Science & Business Media - 1999

ISBN-13

:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.