14. CAV 2002:
Copenhagen,
Denmark
Ed Brinksma, Kim Guldstrand Larsen (Eds.):
Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings.
Lecture Notes in Computer Science 2404 Springer 2002, ISBN 3-540-43997-8 BibTeX
@proceedings{DBLP:conf/cav/2002,
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Computer Aided Verification, 14th International Conference, CAV
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2404},
year = {2002},
isbn = {3-540-43997-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Invited Tutorials
Symbolic Model Checking
Abstraction/Refinement and Model Checking
Compositional/Structural Verification
Timing Analysis
SAT Based Methods
Symbolic Model Checking
Tool Presentations
- Rajeev Alur, Michael McDougall, Zijiang Yang:
Exploiting Behavioral Hierarchy for Efficient Model Checking.
338-342
Electronic Edition (Springer LINK) BibTeX
- Marius Bozga, Susanne Graf, Laurent Mounier:
IF-2.0: A Validation Environment for Component-Based Real-Time Systems.
343-348
Electronic Edition (Springer LINK) BibTeX
- Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron:
The AVISS Security Protocol Analysis Tool.
349-353
Electronic Edition (Springer LINK) BibTeX
- Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine:
SPeeDI - A Verification Tool for Polygonal Hybrid Systems.
354-358
Electronic Edition (Springer LINK) BibTeX
- Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
359-364
Electronic Edition (Springer LINK) BibTeX
- Eugene Asarin, Thao Dang, Oded Maler:
The d/dt Tool for Verification of Hybrid Systems.
365-370
Electronic Edition (Springer LINK) BibTeX
Infinite State Model Checking
Compositional/Structural Verification
Extended Model Checking
Tool Presentations
- Aaron Stump, Clark W. Barrett, David L. Dill:
CVC: A Cooperating Validity Checker.
500-504
Electronic Edition (Springer LINK) BibTeX
- Marsha Chechik, Arie Gurfinkel, Benet Devereux:
chi-Chek: A Multi-valued Model-Checker.
505-509
Electronic Edition (Springer LINK) BibTeX
- Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal:
PathFinder: A Tool for Design Exploration.
510-514
Electronic Edition (Springer LINK) BibTeX
- Dennis Dams, William Hesse, Gerard J. Holzmann:
Abstracting C with abC.
515-520
Electronic Edition (Springer LINK) BibTeX
- Alex Groce, Doron Peled, Mihalis Yannakakis:
AMC: An Adaptive Model Checker.
521-525
Electronic Edition (Springer LINK) BibTeX
Code Verification
Regular Model Checking and Acceleration
Model Reduction
Copyright © Sat May 16 23:00:37 2009
by Michael Ley (ley@uni-trier.de)