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/cav2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/cav/AbdullaJNdS04,
author = {Parosh Aziz Abdulla and
Bengt Jonsson and
Marcus Nilsson and
Julien d'Orso and
Mayank Saksena},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Regular Model Checking for {LTL(MSO)}},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {348--360},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_27},
doi = {10.1007/978-3-540-27813-9\_27},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdullaJNdS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AndrewsQRRX04,
author = {Tony Andrews and
Shaz Qadeer and
Sriram K. Rajamani and
Jakob Rehof and
Yichen Xie},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Zing: {A} Model Checker for Concurrent Software},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {484--487},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_42},
doi = {10.1007/978-3-540-27813-9\_42},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AndrewsQRRX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Arons04,
author = {Tamarah Arons},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Verification of an Advanced mips-Type Out-of-Order Execution Algorithm},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {414--426},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_32},
doi = {10.1007/978-3-540-27813-9\_32},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Arons04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArthoSBEBZ04,
author = {Cyrille Artho and
Viktor Schuppan and
Armin Biere and
Pascal Eugster and
Marcel Baur and
Boris Zweim{\"{u}}ller},
editor = {Rajeev Alur and
Doron A. Peled},
title = {JNuke: Efficient Dynamic Analysis for Java},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {462--465},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_37},
doi = {10.1007/978-3-540-27813-9\_37},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ArthoSBEBZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AwedhS04,
author = {Mohammad Awedh and
Fabio Somenzi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Proving More Properties with Bounded Model Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {96--108},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_8},
doi = {10.1007/978-3-540-27813-9\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AwedhS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallCLZ04,
author = {Thomas Ball and
Byron Cook and
Shuvendu K. Lahiri and
Lintao Zhang},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {457--461},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_36},
doi = {10.1007/978-3-540-27813-9\_36},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallCLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarrettB04,
author = {Clark W. Barrett and
Sergey Berezin},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{CVC} Lite: {A} New Implementation of the Cooperating Validity Checker
Category {B}},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {515--518},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_49},
doi = {10.1007/978-3-540-27813-9\_49},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarrettB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BartzisB04,
author = {Constantinos Bartzis and
Tevfik Bultan},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Widening Arithmetic Automata},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {321--333},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_25},
doi = {10.1007/978-3-540-27813-9\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BartzisB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BinghamCHQZ04,
author = {Jesse D. Bingham and
Anne Condon and
Alan J. Hu and
Shaz Qadeer and
Zhichuan Zhang},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Automatic Verification of Sequential Consistency for Unbounded Addresses
and Data Values},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {427--439},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_33},
doi = {10.1007/978-3-540-27813-9\_33},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BinghamCHQZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniHV04,
author = {Ahmed Bouajjani and
Peter Habermehl and
Tom{\'{a}}s Vojnar},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Abstract Regular Model Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {372--386},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_29},
doi = {10.1007/978-3-540-27813-9\_29},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniHV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrabermanGO04,
author = {V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Alfredo Olivero},
editor = {Rajeev Alur and
Doron A. Peled},
title = {ObsSlice: {A} Timed Automata Slicer Based on Observers},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {470--474},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_39},
doi = {10.1007/978-3-540-27813-9\_39},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrabermanGO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BustanRV04,
author = {Doron Bustan and
Sasha Rubin and
Moshe Y. Vardi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Verifying omega-Regular Properties of Markov Chains},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {189--201},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_15},
doi = {10.1007/978-3-540-27813-9\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BustanRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChangBD04,
author = {Jacob Chang and
Sergey Berezin and
David L. Dill},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Using Interface Refinement to Integrate Formal Verification into the
Design Cycle},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {122--134},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_10},
doi = {10.1007/978-3-540-27813-9\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChangBD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanCMR04,
author = {Azadeh Farzan and
Feng Chen and
Jos{\'{e}} Meseguer and
Grigore Rosu},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Formal Analysis of Java Programs in JavaFAN},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {501--505},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_46},
doi = {10.1007/978-3-540-27813-9\_46},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FarzanCMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkelL04,
author = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Image Computation in Infinite State Model Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {361--371},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_28},
doi = {10.1007/978-3-540-27813-9\_28},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FinkelL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FournetHRR04,
author = {C{\'{e}}dric Fournet and
C. A. R. Hoare and
Sriram K. Rajamani and
Jakob Rehof},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Stuck-Free Conformance},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {242--254},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_19},
doi = {10.1007/978-3-540-27813-9\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FournetHRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FuBS04,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{WSAT:} {A} Tool for Formal Analysis of Web Services},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {510--514},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_48},
doi = {10.1007/978-3-540-27813-9\_48},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FuBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GammieM04,
author = {Peter Gammie and
Ron van der Meyden},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{MCK:} Model Checking the Logic of Knowledge},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {479--483},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_41},
doi = {10.1007/978-3-540-27813-9\_41},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GammieM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GanaiGA04,
author = {Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Efficient Modeling of Embedded Memories in Bounded Model Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {440--452},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_34},
doi = {10.1007/978-3-540-27813-9\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GanaiGA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GanzingerHNOT04,
author = {Harald Ganzinger and
George Hagen and
Robert Nieuwenhuis and
Albert Oliveras and
Cesare Tinelli},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{DPLL(} {T):} Fast Decision Procedures},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {175--188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_14},
doi = {10.1007/978-3-540-27813-9\_14},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GanzingerHNOT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GaoH04,
author = {Hui Gao and
Wim H. Hesselink},
editor = {Rajeev Alur and
Doron A. Peled},
title = {A Formal Reduction for Lock-Free Parallel Algorithms},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {44--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_4},
doi = {10.1007/978-3-540-27813-9\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GaoH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GoelB04,
author = {Amit Goel and
Randal E. Bryant},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Symbolic Simulation, Model Checking and Abstraction with Partially
Ordered Boolean Functional Vectors},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {255--267},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_20},
doi = {10.1007/978-3-540-27813-9\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GoelB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GopalakrishnanYS04,
author = {Ganesh Gopalakrishnan and
Yue Yang and
Hemanthkumar Sivaraj},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{QB} or Not {QB:} An Efficient Execution Verification Tool for Memory
Orderings},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {401--413},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_31},
doi = {10.1007/978-3-540-27813-9\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GopalakrishnanYS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GriffaultV04,
author = {Alain Griffault and
Aymeric Vincent},
editor = {Rajeev Alur and
Doron A. Peled},
title = {The Mec 5 Model-Checker},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {488--491},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_43},
doi = {10.1007/978-3-540-27813-9\_43},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GriffaultV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GroceKL04,
author = {Alex Groce and
Daniel Kroening and
Flavio Lerda},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Understanding Counterexamples with explain},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {453--456},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_35},
doi = {10.1007/978-3-540-27813-9\_35},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GroceKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Hunt04,
author = {Warren A. Hunt Jr.},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Mechanical Mathematical Methods for Microprocessor Verification},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {523--533},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_51},
doi = {10.1007/978-3-540-27813-9\_51},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Hunt04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ImmermanRRSY04,
author = {Neil Immerman and
Alexander Moshe Rabinovich and
Thomas W. Reps and
Shmuel Sagiv and
Greta Yorsh},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Verification via Structure Simulation},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {281--294},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_22},
doi = {10.1007/978-3-540-27813-9\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ImmermanRRSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JiangB04,
author = {Jie{-}Hong Roland Jiang and
Robert K. Brayton},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Functional Dependency for Verification Reduction},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {268--280},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_21},
doi = {10.1007/978-3-540-27813-9\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JiangB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JinAS04,
author = {HoonSang Jin and
Mohammad Awedh and
Fabio Somenzi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {CirCUs: {A} Satisfiability Solver Geared towards Bounded Model Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {519--522},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_50},
doi = {10.1007/978-3-540-27813-9\_50},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JinAS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KroeningOSS04,
author = {Daniel Kroening and
Jo{\"{e}}l Ouaknine and
Sanjit A. Seshia and
Ofer Strichman},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Abstraction-Based Satisfiability Solving of Presburger Arithmetic},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {308--320},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_24},
doi = {10.1007/978-3-540-27813-9\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KroeningOSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriB04,
author = {Shuvendu K. Lahiri and
Randal E. Bryant},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Indexed Predicate Discovery for Unbounded System Verification},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {135--147},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_11},
doi = {10.1007/978-3-540-27813-9\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahiriB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriS04,
author = {Shuvendu K. Lahiri and
Sanjit A. Seshia},
editor = {Rajeev Alur and
Doron A. Peled},
title = {The {UCLID} Decision Procedure},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {475--478},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_40},
doi = {10.1007/978-3-540-27813-9\_40},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahiriS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Lange04,
author = {Martin Lange},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Symbolic Model Checking of Non-regular Properties},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {83--95},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_7},
doi = {10.1007/978-3-540-27813-9\_7},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/Lange04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Metzner04,
author = {Alexander Metzner},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Why Model Checking Can Improve {WCET} Analysis},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {334--347},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_26},
doi = {10.1007/978-3-540-27813-9\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Metzner04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MouraORRSST04,
author = {Leonardo Mendon{\c{c}}a de Moura and
Sam Owre and
Harald Rue{\ss} and
John M. Rushby and
Natarajan Shankar and
Maria Sorea and
Ashish Tiwari},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{SAL} 2},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {496--500},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_45},
doi = {10.1007/978-3-540-27813-9\_45},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/MouraORRSST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MouraR04,
author = {Leonardo Mendon{\c{c}}a de Moura and
Harald Rue{\ss}},
editor = {Rajeev Alur and
Doron A. Peled},
title = {An Experimental Evaluation of Ground Decision Procedures},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {162--174},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_13},
doi = {10.1007/978-3-540-27813-9\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MouraR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Namjoshi04,
author = {Kedar S. Namjoshi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model
Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {57--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_5},
doi = {10.1007/978-3-540-27813-9\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Namjoshi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OLearyR04,
author = {John O'Leary and
Marly Roncken},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Rob Tristan Gerth: 1956?2003},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {1--14},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_1},
doi = {10.1007/978-3-540-27813-9\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/OLearyR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PingreeM04,
author = {Paula J. Pingree and
Erich Mikk},
editor = {Rajeev Alur and
Doron A. Peled},
title = {The HiVy Tool Set},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {466--469},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_38},
doi = {10.1007/978-3-540-27813-9\_38},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PingreeM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PitermanV04,
author = {Nir Piterman and
Moshe Y. Vardi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Global Model-Checking of Infinite-State Systems},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {387--400},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_30},
doi = {10.1007/978-3-540-27813-9\_30},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PitermanV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RameshSDCV04,
author = {S. Ramesh and
Sampada Sonalkar and
Vijay D'Silva and
Naveen Chandra and
B. Vijayalakshmi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {A Toolset for Modelling and Verification of {GALS} Systems},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {506--509},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_47},
doi = {10.1007/978-3-540-27813-9\_47},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RameshSDCV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RayH04,
author = {Sandip Ray and
Warren A. Hunt Jr.},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Deductive Verification of Pipelined Machines Using First-Order Quantification},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {31--43},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_3},
doi = {10.1007/978-3-540-27813-9\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RayH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RepsSW04,
author = {Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Static Program Analysis via 3-Valued Logic},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {15--30},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_2},
doi = {10.1007/978-3-540-27813-9\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RepsSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SchroterK04,
author = {Claus Schr{\"{o}}ter and
Victor Khomenko},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Parallel {LTL-X} Model Checking of High-Level Petri Nets Based on
Unfoldings},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {109--121},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_9},
doi = {10.1007/978-3-540-27813-9\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SchroterK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SebastianiSTV04,
author = {Roberto Sebastiani and
Eli Singerman and
Stefano Tonetta and
Moshe Y. Vardi},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{GSTE} Is Partitioned Model Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {229--241},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_18},
doi = {10.1007/978-3-540-27813-9\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SebastianiSTV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SenVA04,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Statistical Model Checking of Black-Box Probabilistic Systems},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {202--215},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_16},
doi = {10.1007/978-3-540-27813-9\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SenVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TalupurSSP04,
author = {Muralidhar Talupur and
Nishant Sinha and
Ofer Strichman and
Amir Pnueli},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Range Allocation for Separation Logic},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {148--161},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_12},
doi = {10.1007/978-3-540-27813-9\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/TalupurSSP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Tan04,
author = {Li Tan},
editor = {Rajeev Alur and
Doron A. Peled},
title = {PlayGame: {A} Platform for Diagnostic Games},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {492--495},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_44},
doi = {10.1007/978-3-540-27813-9\_44},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Tan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Tiwari04,
author = {Ashish Tiwari},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Termination of Linear Programs},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {70--82},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_6},
doi = {10.1007/978-3-540-27813-9\_6},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/Tiwari04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Wang04,
author = {Farn Wang},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Symbolic Parametric Safety Analysis of Linear Hybrid Systems with
BDD-Like Data-Structures},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {295--307},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_23},
doi = {10.1007/978-3-540-27813-9\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Wang04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangS04,
author = {Jin Yang and
Carl{-}Johan H. Seger},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Compositional Specification and Model Checking in {GSTE}},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {216--228},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_17},
doi = {10.1007/978-3-540-27813-9\_17},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/YangS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2004,
editor = {Rajeev Alur and
Doron A. Peled},
title = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98490},
doi = {10.1007/B98490},
isbn = {3-540-22342-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2004.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-04-20 01:29 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:
