Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cav/cav2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/cav/AbdullaJMd02,
author = {Parosh Aziz Abdulla and
Bengt Jonsson and
Pritha Mahata and
Julien d'Orso},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Regular Tree Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {555--568},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_47},
doi = {10.1007/3-540-45657-0\_47},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdullaJMd02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurMY02,
author = {Rajeev Alur and
Michael McDougall and
Zijiang Yang},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Exploiting Behavioral Hierarchy for Efficient Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {338--342},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_25},
doi = {10.1007/3-540-45657-0\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurMY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArmandoBBCCMRTVV02,
author = {Alessandro Armando and
David A. Basin and
Mehdi Bouallagui and
Yannick Chevalier and
Luca Compagna and
Sebastian M{\"{o}}dersheim and
Micha{\"{e}}l Rusinowitch and
Mathieu Turuani and
Luca Vigan{\`{o}} and
Laurent Vigneron},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {The {AVISS} Security Protocol Analysis Tool},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {349--353},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_27},
doi = {10.1007/3-540-45657-0\_27},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ArmandoBBCCMRTVV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AsarinDM02,
author = {Eugene Asarin and
Thao Dang and
Oded Maler},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {The d/dt Tool for Verification of Hybrid Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {365--370},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_30},
doi = {10.1007/3-540-45657-0\_30},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AsarinDM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AsarinPSY02,
author = {Eugene Asarin and
Gordon J. Pace and
Gerardo Schneider and
Sergio Yovine},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {SPeeDI - {A} Verification Tool for Polygonal Hybrid Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {354--358},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_28},
doi = {10.1007/3-540-45657-0\_28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AsarinPSY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnerG02,
author = {Sharon Barner and
Orna Grumberg},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Combining Symmetry Reduction and Under-Approximation for Symbolic
Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {93--106},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_8},
doi = {10.1007/3-540-45657-0\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarnerG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarnerGG02,
author = {Sharon Barner and
Daniel Geist and
Anna Gringauze},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Symbolic Localization Reduction with Reconstruction Layering and Backtracking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {65--77},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_6},
doi = {10.1007/3-540-45657-0\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarnerGG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarrettDS02,
author = {Clark W. Barrett and
David L. Dill and
Aaron Stump},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Checking Satisfiability of First-Order Formulas by Incremental Translation
to {SAT}},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {236--249},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_18},
doi = {10.1007/3-540-45657-0\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarrettDS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaumgartnerKA02,
author = {Jason Baumgartner and
Andreas Kuehlmann and
Jacob A. Abraham},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Property Checking via Structural Analysis},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {151--165},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_12},
doi = {10.1007/3-540-45657-0\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaumgartnerKA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Ben-DavidGSW02,
author = {Shoham Ben{-}David and
Anna Gringauze and
Baruch Sterin and
Yaron Wolfsthal},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {PathFinder: {A} Tool for Design Exploration},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {510--514},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_42},
doi = {10.1007/3-540-45657-0\_42},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Ben-DavidGSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BinghamH02,
author = {Jesse D. Bingham and
Alan J. Hu},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Semi-formal Bounded Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {280--294},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_21},
doi = {10.1007/3-540-45657-0\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BinghamH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlomP02,
author = {Stefan Blom and
Jaco van de Pol},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {State Space Reduction by Proving Confluence},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {596--609},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_50},
doi = {10.1007/3-540-45657-0\_50},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlomP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniT02,
author = {Ahmed Bouajjani and
Tayssir Touili},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Extrapolating Tree Transformations},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {539--554},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_46},
doi = {10.1007/3-540-45657-0\_46},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaGM02,
author = {Marius Bozga and
Susanne Graf and
Laurent Mounier},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {{IF-2.0:} {A} Validation Environment for Component-Based Real-Time
Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {343--348},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_26},
doi = {10.1007/3-540-45657-0\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozgaGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoD02,
author = {Marco Bozzano and
Giorgio Delzanno},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Algorithmic Verification of Invalidation-Based Protocols},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {295--308},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_22},
doi = {10.1007/3-540-45657-0\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BryantLS02,
author = {Randal E. Bryant and
Shuvendu K. Lahiri and
Sanjit A. Seshia},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Modeling and Verifying Systems Using a Logic of Counter Arithmetic
with Lambda Expressions and Uninterpreted Functions},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {78--92},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_7},
doi = {10.1007/3-540-45657-0\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BryantLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CabodiNQ02,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based
Verification},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {471--484},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_38},
doi = {10.1007/3-540-45657-0\_38},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CabodiNQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChakrabartiAHJM02,
author = {Arindam Chakrabarti and
Luca de Alfaro and
Thomas A. Henzinger and
Marcin Jurdzinski and
Freddy Y. C. Mang},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Interface Compatibility Checking for Software Modules},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {428--441},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_35},
doi = {10.1007/3-540-45657-0\_35},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChakrabartiAHJM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChakrabartiAHM02,
author = {Arindam Chakrabarti and
Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Synchronous and Bidirectional Component Interfaces},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {414--427},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_34},
doi = {10.1007/3-540-45657-0\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChakrabartiAHM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChatterjeeSG02,
author = {Prosenjit Chatterjee and
Hemanthkumar Sivaraj and
Ganesh Gopalakrishnan},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Shared Memory Consistency Protocol Verification Against Weak Memory
Models: Refinement via Model-Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {123--136},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_10},
doi = {10.1007/3-540-45657-0\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChatterjeeSG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChechikGD02,
author = {Marsha Chechik and
Arie Gurfinkel and
Benet Devereux},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {chi-Chek: {A} Multi-valued Model-Checker},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {505--509},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_41},
doi = {10.1007/3-540-45657-0\_41},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChechikGD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChevalierV02,
author = {Yannick Chevalier and
Laurent Vigneron},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Automated Unbounded Verification of Security Protocols},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {324--337},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_24},
doi = {10.1007/3-540-45657-0\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChevalierV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiCGGPRST02,
author = {Alessandro Cimatti and
Edmund M. Clarke and
Enrico Giunchiglia and
Fausto Giunchiglia and
Marco Pistore and
Marco Roveri and
Roberto Sebastiani and
Armando Tacchella},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {NuSMV 2: An OpenSource Tool for Symbolic Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {359--364},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_29},
doi = {10.1007/3-540-45657-0\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiCGGPRST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ClarkeGKS02,
author = {Edmund M. Clarke and
Anubhav Gupta and
James H. Kukula and
Ofer Strichman},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {{SAT} Based Abstraction-Refinement Using {ILP} and Machine Learning
Techniques},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {265--279},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_20},
doi = {10.1007/3-540-45657-0\_20},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ClarkeGKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ColonS02,
author = {Michael Col{\'{o}}n and
Henny Sipma},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Practical Methods for Proving Program Termination},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {442--454},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_36},
doi = {10.1007/3-540-45657-0\_36},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ColonS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CousotC02,
author = {Patrick Cousot and
Radhia Cousot},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {On Abstraction in Software Verification},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {37--56},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_3},
doi = {10.1007/3-540-45657-0\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CousotC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DamsHH02,
author = {Dennis Dams and
William Hesse and
Gerard J. Holzmann},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Abstracting {C} with abC},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {515--520},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_43},
doi = {10.1007/3-540-45657-0\_43},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DamsHH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FlanaganQS02,
author = {Cormac Flanagan and
Shaz Qadeer and
Sanjit A. Seshia},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {A Modular Checker for Multithreaded Programs},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {180--194},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_14},
doi = {10.1007/3-540-45657-0\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FlanaganQS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GodefroidJ02,
author = {Patrice Godefroid and
Radha Jagadeesan},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Automatic Abstraction Using Generalized Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {137--150},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_11},
doi = {10.1007/3-540-45657-0\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GodefroidJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrocePY02,
author = {Alex Groce and
Doron A. Peled and
Mihalis Yannakakis},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {{AMC:} An Adaptive Model Checker},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {521--525},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_44},
doi = {10.1007/3-540-45657-0\_44},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrocePY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GurumurthyBS02,
author = {Sankar Gurumurthy and
Roderick Bloem and
Fabio Somenzi},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Fair Simulation Minimization},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {610--624},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_51},
doi = {10.1007/3-540-45657-0\_51},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GurumurthyBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HartongHB02,
author = {Walter Hartong and
Lars Hedrich and
Erich Barke},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {On Discrete Modeling and Model Checking for Nonlinear Analog Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {401--413},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_33},
doi = {10.1007/3-540-45657-0\_33},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HartongHB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Henzinger02,
author = {Thomas A. Henzinger},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {The Symbolic Approach to Hybrid Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {57},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_4},
doi = {10.1007/3-540-45657-0\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Henzinger02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerJMNSW02,
author = {Thomas A. Henzinger and
Ranjit Jhala and
Rupak Majumdar and
George C. Necula and
Gr{\'{e}}goire Sutre and
Westley Weimer},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Temporal-Safety Proofs for Systems Code},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {526--538},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_45},
doi = {10.1007/3-540-45657-0\_45},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HenzingerJMNSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Holzmann02,
author = {Gerard J. Holzmann},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Software Analysis and Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {1--16},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_1},
doi = {10.1007/3-540-45657-0\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Holzmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Jacobi02,
author = {Christian Jacobi},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Formal Verification of Complex Out-of-Order Pipelines by Combining
Model-Checking and Theorem-Proving},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {309--323},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_23},
doi = {10.1007/3-540-45657-0\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Jacobi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KhomenkoKV02,
author = {Victor Khomenko and
Maciej Koutny and
Walter Vogler},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Canonical Prefixes of Petri Net Unfoldings},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {582--595},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_49},
doi = {10.1007/3-540-45657-0\_49},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KhomenkoKV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KupfermanPV02,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Model Checking Linear Properties of Prefix-Recognizable Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {371--385},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_31},
doi = {10.1007/3-540-45657-0\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KupfermanPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KurshanLY02,
author = {Robert P. Kurshan and
Vladimir Levin and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Compressing Transitions for Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {569--581},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_48},
doi = {10.1007/3-540-45657-0\_48},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KurshanLY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/McMillan02,
author = {Kenneth L. McMillan},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Applying {SAT} Methods in Unbounded Symbolic Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {250--264},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_19},
doi = {10.1007/3-540-45657-0\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/McMillan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PnueliXZ02,
author = {Amir Pnueli and
Jessie Xu and
Lenore D. Zuck},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Liveness with (0, 1, infty)-Counter Abstraction},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {107--122},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_9},
doi = {10.1007/3-540-45657-0\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PnueliXZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PurandareS02,
author = {Mitra Purandare and
Fabio Somenzi},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Vacuum Cleaning {CTL} Formulae},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {485--499},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_39},
doi = {10.1007/3-540-45657-0\_39},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PurandareS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RajamaniR02,
author = {Sriram K. Rajamani and
Jakob Rehof},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Conformance Checking for Models of Asynchronous Message Passing Software},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {166--179},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_13},
doi = {10.1007/3-540-45657-0\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RajamaniR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RybinaV02,
author = {Tatiana Rybina and
Andrei Voronkov},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Using Canonical Representations of Solutions to Speed Up Infinite-State
Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {386--400},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_32},
doi = {10.1007/3-540-45657-0\_32},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RybinaV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/StrichmanSB02,
author = {Ofer Strichman and
Sanjit A. Seshia and
Randal E. Bryant},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Deciding Separation Formulas with {SAT}},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {209--222},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_16},
doi = {10.1007/3-540-45657-0\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/StrichmanSB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/StumpBD02,
author = {Aaron Stump and
Clark W. Barrett and
David L. Dill},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {{CVC:} {A} Cooperating Validity Checker},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {500--504},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_40},
doi = {10.1007/3-540-45657-0\_40},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/StumpBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TanC02,
author = {Li Tan and
Rance Cleaveland},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Evidence-Based Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {455--470},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_37},
doi = {10.1007/3-540-45657-0\_37},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/TanC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Thomas02,
author = {Wolfgang Thomas},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Infinite Games and Verification (Extended Abstract of a Tutorial)},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {58--64},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_5},
doi = {10.1007/3-540-45657-0\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Thomas02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YonedaKM02,
author = {Tomohiro Yoneda and
Tomoya Kitai and
Chris J. Myers},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Automatic Derivation of Timing Constraints by Failure Analysis},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {195--208},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_15},
doi = {10.1007/3-540-45657-0\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YonedaKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YounesS02,
author = {H{\aa}kan L. S. Younes and
Reid G. Simmons},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Probabilistic Verification of Discrete Event Systems Using Acceptance
Sampling},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {223--235},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_17},
doi = {10.1007/3-540-45657-0\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YounesS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangM02,
author = {Lintao Zhang and
Sharad Malik},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {The Quest for Efficient Boolean Satisfiability Solvers},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {17--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_2},
doi = {10.1007/3-540-45657-0\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhangM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {2404},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0},
doi = {10.1007/3-540-45657-0},
isbn = {3-540-43997-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-24 08:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
