13. CAV 2001:
Paris,
France
Gérard Berry, Hubert Comon, Alain Finkel (Eds.):
Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings.
Lecture Notes in Computer Science 2102 Springer 2001, ISBN 3-540-42345-1 BibTeX
@proceedings{DBLP:conf/cav/2001,
editor = {G{\'e}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Computer Aided Verification, 13th International Conference, CAV
2001, Paris, France, July 18-22, 2001, Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2102},
year = {2001},
isbn = {3-540-42345-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Model Checking and Theorem Proving
Automata Techniques
Verification Core Technology
BDD and Decision Procedures
Abstraction and Refinement
Combinations
Tool Presentations:
Rewriting and Theorem-Proving Techniques
- Miroslav N. Velev, Randal E. Bryant:
EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations.
235-240
Electronic Edition (Springer LINK) BibTeX
- Dawn Xiaodong Song, Adrian Perrig, Doantam Phan:
AGVI - Automatic Generation, Verification, and Implementation of Security Protocols.
241-245
Electronic Edition (Springer LINK) BibTeX
- Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar:
ICS: Integrated Canonizer and Solver.
246-249
Electronic Edition (Springer LINK) BibTeX
- Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol:
µCRL: A Toolset for Analysing Algebraic Specifications.
250-254
Electronic Edition (Springer LINK) BibTeX
- Martin Leucker, Thomas Noll:
Truth/SLC - A Parallel Verification Platform for Concurrent Systems.
255-259
Electronic Edition (Springer LINK) BibTeX
- Thomas Ball, Sriram K. Rajamani:
The SLAM Toolkit.
260-264
Electronic Edition (Springer LINK) BibTeX
Invited Talk
Infinite State Systems
Temporal Logics and Verification
Tool Presentations:
Model-Checking and Automata Techniques
- Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh:
The Temporal Logic Sugar.
363-367
Electronic Edition (Springer LINK) BibTeX
- Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu:
TReX: A Tool for Reachability Analysis of Complex Systems.
368-372
Electronic Edition (Springer LINK) BibTeX
- Peer Johannsen:
BooStER: Speeding Up RTL Property Checking of Digital Designs by Word-Level Abstarction.
373-377
Electronic Edition (Springer LINK) BibTeX
- Vladimir Levin, Hüsnü Yenigün:
SDLcheck: A Model Checking Tool.
377
Electronic Edition (Springer LINK) BibTeX
- Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen:
EASN: Integrating ASN.1 and Model Checking.
382-386
Electronic Edition (Springer LINK) BibTeX
- Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi:
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.
387-390
Electronic Edition (Springer LINK) BibTeX
- Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine:
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.
391-395
Electronic Edition (Springer LINK) BibTeX
Microprocessor Verification,
Cache Coherence
SAT,
BDDs,
and Applications
- Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi:
Benefits of Bounded Model Checking at an Industrial Setting.
436-453
Electronic Edition (Springer LINK) BibTeX
- Per Bjesse, Tim Leonard, Abdel Mokkedem:
Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.
454-464
Electronic Edition (Springer LINK) BibTeX
- Sumio Morioka, Yasunao Katayama, Toshiyuki Yamane:
Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m).
465-477
Electronic Edition (Springer LINK) BibTeX
Timed Automata
Copyright © Sat May 16 23:00:37 2009
by Michael Ley (ley@uni-trier.de)
