![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd TACAS 1997: Enschede, The Netherlands
- Ed Brinksma:
Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Lecture Notes in Computer Science 1217, Springer 1997, 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
- Rolf Drechsler
, Bernd Becker
, Stefan Ruppertz:
Manipulation Algorithms for K*BMDs. 4-18 - E. Allen Emerson, Somesh Jha, Doron A. Peled:
Combining Partial Order and Symmetry Reductions. 19-34 - Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
Partial Model Checking with ROBDDs. 35-49 - 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
- Peter H. Schmitt, Jean Goubault-Larrecq:
A Tableau System for Linear-TIME Temporal Logic. 130-144 - 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
- Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe:
Visual Verification of Reactive Systems. 334-350
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.