Research Catalog

Title

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 (ed.).

Author

TACAS (Conference) (3rd : 1997 : Enschede, Netherlands)

Publication

Berlin ; New York : Springer, [1997], ©1997.

Items in the Library & Off-site

Details

Additional Authors

Brinksma, Ed.

Description

x, 431 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1217

Uniform Title

Lecture notes in computer science ; 1217.

Subjects

• System design > Congresses
• Computer software > Development > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs / Gerard Berry -- Manipulation Algorithms for K*BMDs / R. Drechsler, B. Becker and S. Ruppertz -- Combining Partial Order and Symmetry Reductions / E. A. Emerson, S. Jha and D. Peled -- Partial Model Checking with ROBDDs / H. R. Andersen, J. Staunstrup and N. Maretti -- Space Efficient Reachability Analysis Through Use of Pseudo-Root States / A. N. Parashkevov and J. Yantchev -- The Reference Component of PEP / B. Grahlmann -- A Tool to Support Formal Reasoning about Computer Languages / R. J. Boulton -- The Term Processor Generator Kimwitu / P. van Eijk, A. Belinfante and H. Eertink [et al.] -- Graphs in METAFrame: The Unifying Power of Polymorphism / M. von der Beeck, V. Braun and A. Classen [et al.] -- A Tableau System for Linear-TIME Temporal Logic / P. H. Schmitt and J. Goubault-Larrecq -- Model-Checking for a Subclass of Event Structures / W. Penczek --
• Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time / J.-F. Raskin and P.-Y. Schobbens -- MOSEL: A Flexible Toolset for Monadic Second-Order Logic / P. Kelb, T. Margaria and M. Mendler [et al.] -- A Brief Introduction to Coloured Petri Nets / Kurt Jensen -- Design/CPN - A Computer Tool for Coloured Petri Nets / S. Christensen, J. B. Jorgensen and L. M. Kristensen -- Formal Verification of Statecharts with Instantaneous Chain Reactions / J. Philipps and P. Scholz -- Compositional State Space Generation from Lotos Programs / J.-P. Krimm and L. Mounier -- Syntactic Detection of Process Divergence and Non-local Choice in Message Sequence Charts / H. Ben-Abdallah and S. Leue -- An Automata Based Verification Environment for Mobile Processes / G. Ferrari, G. Ferro and S. Gnesi [et al.] -- Compositional Performance Analysis / C. Tofts -- Incremental Development of Deadlock-Free Communicating Systems / S. Kleuker --
• Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs / B. Boigelot and P. Godefroid -- Visual Verification of Reactive Systems / Luca de Alfaro, Zohar Manna and Henny B. Sipma [et al.] -- Theorem Prover Support for the Refinement of Stream Processing Functions / R. Sandner and O. Muller -- Integration in PVS: Tables, Types, and Model Checking / S. Owre, J. Rushby and N. Shankar -- Test Generation for Intelligent Networks Using Model Checking / A. Engels, L. Feijs and S. Mauw -- Mechanically Verified Self-Stabilizing Hierarchical Algorithms / I. S. W. B. Prasetya -- The Bounded Retransmission Protocol Must Be on Time! / P. R. D'Argenio, J.-P. Katoen and T. C. Ruys [et al.].

ISBN

3540627901 (pbk. : alk. paper)

LCCN

97011043

OCLC

• 36597761
• ocm36597761

Owning Institutions

Columbia University Libraries