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.
Lecture Notes in Computer Science 1217 Springer 1997, ISBN 3-540-62790-1 BibTeX
@proceedings{DBLP:conf/tacas/1997,
editor = {Ed Brinksma},
title = {Tools and Algorithms for Construction and Analysis of Systems,
Third International Workshop, TACAS '97, Enschede, The Netherlands,
April 2-4, 1997, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1217},
year = {1997},
isbn = {3-540-62790-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1:
Invited talk
- Gérard Berry:
Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs.
1-3 BibTeX
Session 2:
Space Reduction Techniques
Session 3:
Tool Demonstration
- Bernd Grahlmann:
The Reference Component of PEP.
65-80 BibTeX
- Richard J. Boulton:
A Tool to Support Formal Reasoning about Computer Languages.
81-95 BibTeX
- Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas:
The Term Processor Generator Kimwitu.
96-111 BibTeX
- 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 BibTeX
Session 4:
Logical Techniques
Session 5:
Invited Talk
Sesion 6:
Verification Support
Session 7:
Specification and Analysis
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 BibTeX
- Sam Owre, John M. Rushby, Natarajan Shankar:
Integration in PVS: Tables, Types, and Model Checking.
366-383 BibTeX
- André Engels, Loe M. G. Feijs, Sjouke Mauw:
Test Generation for Intelligent Networks Using Model Checking.
384-398 BibTeX
- I. S. W. B. Prasetya:
Mechanically Verified Self-Stabilizing Hierarchical Algorithms.
399-415 BibTeX
- Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans:
The Bounded Retransmission Protocol Must Be on Time!
416-431 BibTeX
Copyright © Sat May 16 23:43:26 2009
by Michael Ley (ley@uni-trier.de)
