+612 9045 4394
 
CHECKOUT
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Ed. Brinksma

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings

By: Ed. Brinksma (Editor)

Paperback Published: 20th March 1997
ISBN: 9783540627906
Number Of Pages: 437

Share This Book:

Paperback

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

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

Hardware and Software Synthesis, Optimization, and Verification from Esterel Programsp. 1
Manipulation Algorithms for K*BMDsp. 4
Combining Partial Order and Symmetry Reductionsp. 19
Partial Model Checking with ROBDDsp. 35
Space Efficient Reachability Analysis Through Use of Pseudo-Root Statesp. 50
The Reference Component of PEPp. 65
A Tool to Support Formal Reasoning about Computer Languagesp. 81
The Term Processor Generator Kimwitup. 96
Graphs in METAFrame: The Unifying Power of Polymorphismp. 112
A Tableau System for Linear-TIME Temporal Logicp. 130
Model-Checking for a Subclass of Event Structuresp. 145
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Timep. 165
MOSEL: A Flexible Toolset for Monadic Second-Order Logicp. 183
A Brief Introduction to Coloured Petri Netsp. 203
Design/CPN - A Computer Tool for Coloured Petri Netsp. 209
Formal Verification of Statecharts with Instantaneous Chain Reactionsp. 224
Compositional State Space Generation from Lotos Programsp. 239
Syntactic Detection of Process Divergence and Non-local Choice in Message Sequence Chartsp. 259
An Automata Based Verification Environment for Mobile Processesp. 275
Compositional Performance Analysisp. 290
Incremental Development of Deadlock-Free Communicating Systemsp. 306
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programsp. 321
Visual Verification of Reactive Systemsp. 334
Theorem Prover Support for the Refinement of Stream Processing Functionsp. 351
Integration in PVS: Tables, Types, and Model Checkingp. 366
Test Generation for Intelligent Networks Using Model Checkingp. 384
Mechanically Verified Self-Stabilizing Hierarchical Algorithmsp. 399
The Bounded Retransmission Protocol Must Be on Time!p. 416
Author Indexp. 433
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540627906
ISBN-10: 3540627901
Series: Lecture Notes in Physics
Audience: General
Format: Paperback
Language: English
Number Of Pages: 437
Published: 20th March 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.63