+612 9045 4394
 
CHECKOUT
Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, Tacas'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings - W. Rance Cleaveland

Tools and Algorithms for the Construction of Analysis of Systems

5th International Conference, Tacas'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

By: W. Rance Cleaveland (Editor)

Paperback Published: 10th March 1999
ISBN: 9783540657033
Number Of Pages: 456

Share This Book:

Paperback

$158.40
or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Modeling for Mere Mortalsp. 1
Scheduling System Verificationp. 19
A Period Assignment Algorithm for Real-Time System Designp. 34
Analyzing Stochastic Fixed-Priority Real-Time Systemsp. 44
Timed Diagnostics for Reachability Propertiesp. 59
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Toolsp. 74
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLp. 89
Automated Fast-Track Reconfiguration of Group Communication Systemsp. 104
Specifications and Proofs for Ensemble Layersp. 119
An Automated Analysis of Ping-Pong Interactions in E-Mail Servicesp. 134
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniquesp. 148
Verification of Hierarchical State/Event Systems Using Reusability and Compositionalityp. 163
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstractionp. 178
Symbolic Model Checking without BDDsp. 193
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocolp. 208
Model Checking in CLPp. 223
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Netsp. 240
Finite State Verification for the Asynchronous Pi-Calculusp. 255
Process Algebra in PVSp. 270
On the Benefits of Using the Up To Techniques for Bisimulation Verificationp. 285
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processesp. 300
Hardware Testing Using a Communication Protocol Conformance Testing Toolp. 315
A Light-Weight Framework for Hardware Verificationp. 330
An Easily Extensible Toolset for Tabular Mathematical Expressionsp. 345
From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approachp. 360
A Theorem Prover-Based Analysis Tool for Object-Oriented Databasesp. 375
DYANA: An Environment for Embedded System Design and Analysisp. 390
Path Exploration Toolp. 405
Modular State Level Analysis of Distributed Systems Techniques and Tool Supportp. 420
Some Issues in the Software Engineering of Verification Toolsp. 435
The ETI Online Service in Actionp. 439
Author Indexp. 445
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540657033
ISBN-10: 3540657037
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 456
Published: 10th March 1999
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.39
Weight (kg): 0.65