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

Front Cover
W. Rance Cleaveland
Springer Science & Business Media, Mar 10, 1999 - Computers - 456 pages
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.
 

What people are saying - Write a review

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

Contents

Modelling for mere Mortals
1
Scheduling System Verification
19
A Period Assignment Algorithm for RealTime System Design
34
Analyzing Stochastic FixedPriority RealTime Systems
44
Timed Diagnostics for Reachability Properties
59
Fighting Livelock in the iProtocol A Comparative Study of Verification Tools
74
Proving the Soundness of a Java Bytecode Verifier Specification in IsabelleHOL
89
Automated FastTrack Reconfiguration of Group Communication Systems
104
Finite State Verification for the Asynchronous πCalculus
255
Process Algebra in PVS
270
On the Benefits of Using the UpTo Techniques for Bisimulation Verification
285
Computing StrongWeak Bisimulation Equivalences and Observation Congruence for ValuePassing Processes
300
Hardware Testing Using a Communication Protocol Conformance Testing Tool
315
A LightWeight Framework for Hardware Verification
330
An Easily Extensible Toolset for Tabular Mathematical Expressions
345
A Unifying Multiparadigm Approach
360

Specifications and Proofs for Ensemble Layers
119
An Automated Analysis of PingPong Interactions in Email Services
134
Automatic Verification of Cryptographic Protocols through Compositional AnalysisTechniques
148
Verification of Hierarchical StateEvent Systems Using Reusability and Compositionality
163
On Proving Safety Properties by Integrating Static Analysis Theorem Proving and Abstraction
178
Symbolic Model Checking without BDDs
193
Application to the Bounded Retransmission Protocol
208
Model Checking in CLP
223
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1Safe Petri Nets
240
A Theorem ProverBased Analysis Tool for ObjectOriented Databases
375
An Environment for Embedded System Design and Analysis
390
Path Exploration Tool
405
Modular State Level Analysis of Distributed Systems Techniques and Tool Support
420
Some Issues in the Software Engineering of Verification Tools
435
The ETI Online Service in Action
439
Author Index
444
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information