3. TACAS 1997: Enschede, The Netherlands
Ed Brinksma (Ed.): Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science ISBN 3-540-62790-1
Session 1: Invited talk
- Gérard Berry: Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. 1-3
Session 2: Space Reduction Techniques
- Atanas N. Parashkevov, Jay Yantchev: Space Efficient Reachability Analysis Through Use of Pseudo-Root States. 50-64
Session 3: Tool Demonstration
- Bernd Grahlmann: The Reference Component of PEP. 65-80
- Richard J. Boulton: A Tool to Support Formal Reasoning about Computer Languages. 81-95
- Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas: The Term Processor Generator Kimwitu. 96-111
- Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen: Graphs in METAFrame: The Unifying Power of Polymorphism. 112-129
Session 4: Logical Techniques
- Wojciech Penczek: Model-Checking for a Subclass of Event Structures. 145-164
- Jean-François Raskin, Pierre-Yves Schobbens: Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. 165-182
- Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A FLexible Toolset for Monadic Second-Order Logic. 183-202
Session 5: Invited Talk
- Kurt Jensen: A Brief Introduction to Coloured Petri Nets. 203-208
- Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen: Design/CPN - A Computer Tool for Coloured Petri Nets. 209-223
Sesion 6: Verification Support
- Jan Philipps, Peter Scholz: Formal Verification of Statecharts with Instantaneous Chain Reaction. 224-238
- Jean-Pierre Krimm, Laurent Mounier: Compositional State Space Generation from Lotos Programs. 239-258
- Hanêne Ben-Abdallah, Stefan Leue: Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. 259-274
- Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: An Automated Based Verification Environment for Mobile Processes. 275-289
Session 7: Specification and Analysis
- Chris M. N. Tofts: Compositional Performance Analysis. 290-305
- Stephan Kleuker: Incremental Development of Deadlock-Free Communicating Systems. 306-320
- Bernard Boigelot, Patrice Godefroid: Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. 321-333
Session 8: Invited Talk
Session 9: Theorem Proving, Model Checking and Their Applications
- Robert Sandner, Olaf Müller: Theorem Prover Support for the Refinement of Stream Processing Functions. 351-365
- Sam Owre, John M. Rushby, Natarajan Shankar: Integration in PVS: Tables, Types, and Model Checking. 366-383
- André Engels, Loe M. G. Feijs, Sjouke Mauw: Test Generation for Intelligent Networks Using Model Checking. 384-398
- I. S. W. B. Prasetya: Mechanically Verified Self-Stabilizing Hierarchical Algorithms. 399-415
- Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans: The Bounded Retransmission Protocol Must Be on Time! 416-431
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team