7. TACAS 2001:
Genova,
Italy (Part of ETAPS 2001)
Tiziana Margaria, Wang Yi (Eds.):
Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings.
Lecture Notes in Computer Science 2031 Springer 2001, ISBN 3-540-41865-2 BibTeX
@proceedings{DBLP:conf/tacas/2001,
editor = {Tiziana Margaria and
Wang Yi},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, TACAS 2001 Held as Part of the
Joint European Conferences on Theory and Practice of Software,
ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2031},
year = {2001},
isbn = {3-540-41865-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Contributions
Symbolic Verification
Infinite State Systems:
Deduction and Abstraction
Application of Model Checking Techniques
Timed and Probabilistic Systems
Hardware:
Design and Verification
Software Verification
Symbolic Verification
Testing:
Techniques and Tools
Implementation Techniques
- Marsha Chechik, Benet Devereux, Steve M. Easterbrook:
Implementing a Multi-valued Symbolic Model Checker.
404-419
Electronic Edition (Springer LINK) BibTeX
- Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang:
Is There a Best Symbolic Cycle-Detection Algorithm?
420-434
Electronic Edition (Springer LINK) BibTeX
- Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola:
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets.
435-449
Electronic Edition (Springer LINK) BibTeX
- Søren Christensen, Lars Michael Kristensen, Thomas Mailund:
A Sweep-Line Method for State Space Exploration.
450-464
Electronic Edition (Springer LINK) BibTeX
Semantics and Compositional Verification
Logics and Model-Checking
ETAPS Tool Demonstration
- Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen:
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
574-577
Electronic Edition (Springer LINK) BibTeX
- Giuseppe Del Castillo:
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.
578-581
Electronic Edition (Springer LINK) BibTeX
- Thomas Noll, Lars-Åke Fredlund, Dilian Gurov:
The Erlang Verification Tool.
582-586
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:43:26 2009
by Michael Ley (ley@uni-trier.de)