6. TACAS 2000:
Berlin,
Germany (Part of ETAPS 2000)
Susanne Graf, Michael I. Schwartzbach (Eds.):
Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings.
Lecture Notes in Computer Science 1785 Springer 2000, ISBN 3-540-67282-6 BibTeX
@proceedings{DBLP:conf/tacas/2000,
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Tools and Algorithms for Construction and Analysis of Systems,
6th International Conference, TACAS 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software,
ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1785},
year = {2000},
isbn = {3-540-67282-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Contribution
Software and Formal Methods Tools
Formal Methods Tools
- Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch:
Consistent Integration of Formal Methods.
48-62
Electronic Edition (Springer LINK) BibTeX
- Jörg Meyer, Arnd Poetzsch-Heffter:
An Architecture for Interactive Program Provers.
63-77
Electronic Edition (Springer LINK) BibTeX
- Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham:
The PROSPER Toolkit.
78-92
Electronic Edition (Springer LINK) BibTeX
- Till Mossakowski:
CASL: From Semantics to Tools.
93-108
Electronic Edition (Springer LINK) BibTeX
Timed and Hybrid Systems
Infinite and Parameterized Systems
Diagnostic and Test Generation
Efficient Model-Checking
Model-Checking Tools
Symbolic Model-Checking
Visual Tools
Verification of Critical Systems
Copyright © Sat May 16 23:43:26 2009
by Michael Ley (ley@uni-trier.de)
