Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/bmc:"
download as .bib file
@proceedings{DBLP:conf/bmc/2006,
editor = {Ofer Strichman and
Armin Biere},
title = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/3},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbrahamHBS07,
author = {Erika {\'{A}}brah{\'{a}}m and
Marc Herbstritt and
Bernd Becker and
Martin Steffen},
editor = {Ofer Strichman and
Armin Biere},
title = {Bounded Model Checking with Parametric Data Structures},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {3--16},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.019},
doi = {10.1016/J.ENTCS.2006.12.019},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbrahamHBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JacksonS07,
author = {Paul B. Jackson and
Daniel Sheridan},
editor = {Ofer Strichman and
Armin Biere},
title = {A Compact Linear Translation for Bounded Model Checking},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {17--30},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.020},
doi = {10.1016/J.ENTCS.2006.12.020},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JacksonS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JussilaB07,
author = {Toni Jussila and
Armin Biere},
editor = {Ofer Strichman and
Armin Biere},
title = {Compressing {BMC} Encodings with {QBF}},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {45--56},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.022},
doi = {10.1016/J.ENTCS.2006.12.022},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JussilaB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiAB07,
author = {Xuandong Li and
Sumit Jha Aanand and
Lei Bu},
editor = {Ofer Strichman and
Armin Biere},
title = {Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis
of Linear Hybrid Systems using Linear Programming},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {57--70},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.023},
doi = {10.1016/J.ENTCS.2006.12.023},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiAB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marques-Silva07,
author = {Jo{\~{a}}o Marques{-}Silva},
editor = {Ofer Strichman and
Armin Biere},
title = {Interpolant Learning and Reuse in SAT-Based Model Checking},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {31--43},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.021},
doi = {10.1016/J.ENTCS.2006.12.021},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Marques-Silva07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StrichmanB07,
author = {Ofer Strichman and
Armin Biere},
editor = {Ofer Strichman and
Armin Biere},
title = {Preface},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.024},
doi = {10.1016/J.ENTCS.2006.12.024},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StrichmanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2005,
editor = {Armin Biere and
Ofer Strichman},
title = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/1},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AwedhS06,
author = {Mohammad Awedh and
Fabio Somenzi},
editor = {Armin Biere and
Ofer Strichman},
title = {Termination Criteria for Bounded Model Checking: Extensions and Comparison},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {51--66},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.019},
doi = {10.1016/J.ENTCS.2005.07.019},
timestamp = {Fri, 16 Dec 2022 10:14:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AwedhS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereS06,
author = {Armin Biere and
Ofer Strichman},
editor = {Armin Biere and
Ofer Strichman},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.015},
doi = {10.1016/J.ENTCS.2005.07.015},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Franzen06,
author = {Anders Franz{\'{e}}n},
editor = {Armin Biere and
Ofer Strichman},
title = {Using Satisfiability Modulo Theories for Inductive Verification of
Lustre Programs},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {19--33},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.017},
doi = {10.1016/J.ENTCS.2005.07.017},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Franzen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GeistGLRST06,
author = {Daniel Geist and
Mark Ginzburg and
Yoad Lustig and
Ishai Rabinovitz and
Ohad Shacham and
Rachel Tzoref},
editor = {Armin Biere and
Ofer Strichman},
title = {Supporting {SAT} based {BMC} on Finite Path Models},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {67--77},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.020},
doi = {10.1016/J.ENTCS.2005.07.020},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GeistGLRST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JehleJLR06,
author = {Markus Jehle and
Jan Johannsen and
Martin Lange and
Nicolas Rachinsky},
editor = {Armin Biere and
Ofer Strichman},
title = {Bounded Model Checking for All Regular Properties},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {3--18},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.016},
doi = {10.1016/J.ENTCS.2005.07.016},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JehleJLR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kroening06,
author = {Daniel Kroening},
editor = {Armin Biere and
Ofer Strichman},
title = {Computing Over-Approximations with Bounded Model Checking},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {79--92},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.021},
doi = {10.1016/J.ENTCS.2005.07.021},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kroening06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ShachamY06,
author = {Ohad Shacham and
Karen Yorav},
editor = {Armin Biere and
Ofer Strichman},
title = {Adaptive Application of {SAT} Solving Techniques},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {35--50},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.018},
doi = {10.1016/J.ENTCS.2005.07.018},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ShachamY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2004,
editor = {Armin Biere and
Ofer Strichman},
title = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/119/issue/2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArmoniFFHPV05,
author = {Roy Armoni and
Limor Fix and
Ranan Fraer and
Scott Huddleston and
Nir Piterman and
Moshe Y. Vardi},
editor = {Armin Biere and
Ofer Strichman},
title = {SAT-based Induction for Temporal Safety Properties},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {3--16},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.021},
doi = {10.1016/J.ENTCS.2004.12.021},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArmoniFFHPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AudemardBCS05,
author = {Gilles Audemard and
Marco Bozzano and
Alessandro Cimatti and
Roberto Sebastiani},
editor = {Armin Biere and
Ofer Strichman},
title = {Verifying Industrial Hybrid Systems with MathSAT},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {17--32},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.022},
doi = {10.1016/J.ENTCS.2004.12.022},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AudemardBCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereS05,
author = {Armin Biere and
Ofer Strichman},
editor = {Armin Biere and
Ofer Strichman},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.020},
doi = {10.1016/J.ENTCS.2004.12.020},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BischoffBCNQ05,
author = {Gabriel P. Bischoff and
Karl S. Brace and
Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
editor = {Armin Biere and
Ofer Strichman},
title = {Exploiting Target Enlargement and Dynamic Abstraction within Mixed
{BDD} and {SAT} Invariant Checking},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {33--49},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.061},
doi = {10.1016/J.ENTCS.2004.06.061},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BischoffBCNQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GroceK05,
author = {Alex Groce and
Daniel Kroening},
editor = {Armin Biere and
Ofer Strichman},
title = {Making the Most of {BMC} Counterexamples},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {67--81},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.023},
doi = {10.1016/J.ENTCS.2004.12.023},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GroceK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JinS05,
author = {HoonSang Jin and
Fabio Somenzi},
editor = {Armin Biere and
Ofer Strichman},
title = {An Incremental Algorithm to Check Satisfiability for Bounded Model
Checking},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {51--65},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.062},
doi = {10.1016/J.ENTCS.2004.06.062},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JinS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sheridan05,
author = {Daniel Sheridan},
editor = {Armin Biere and
Ofer Strichman},
title = {Bounded Model Checking with SNF, Alternating Automata, and Bu"chi
Automata},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {83--101},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.024},
doi = {10.1016/J.ENTCS.2004.12.024},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sheridan05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CabodiNQKLW03,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer and
Alex Kondratyev and
Luciano Lavagno and
Yosinori Watanabe},
editor = {Ofer Strichman and
Armin Biere},
title = {A BMC-formulation for the scheduling problem in highly constrained
hardware Systems},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {623--638},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82547-2},
doi = {10.1016/S1571-0661(05)82547-2},
timestamp = {Tue, 13 Dec 2022 11:40:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CabodiNQKLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EenS03,
author = {Niklas E{\'{e}}n and
Niklas S{\"{o}}rensson},
editor = {Ofer Strichman and
Armin Biere},
title = {Temporal induction by incremental {SAT} solving},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {543--560},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82542-3},
doi = {10.1016/S1571-0661(05)82542-3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EenS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JussilaHN03,
author = {Toni Jussila and
Keijo Heljanko and
Ilkka Niemel{\"{a}}},
editor = {Ofer Strichman and
Armin Biere},
title = {{BMC} via on-the-fly determinization},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {561--577},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82543-5},
doi = {10.1016/S1571-0661(05)82543-5},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JussilaHN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhasidashviliH03,
author = {Zurab Khasidashvili and
Ziyad Hanna},
editor = {Ofer Strichman and
Armin Biere},
title = {SAT-based methods for sequential hardware equivalence verification
without synchronization},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {593--607},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82545-9},
doi = {10.1016/S1571-0661(05)82545-9},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhasidashviliH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiWS03,
author = {Bing Li and
Chao Wang and
Fabio Somenzi},
editor = {Ofer Strichman and
Armin Biere},
title = {A satisfiability-based approach to abstraction refinement in model
checking},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {608--622},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82546-0},
doi = {10.1016/S1571-0661(05)82546-0},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiWS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MadhusudanNA03,
author = {P. Madhusudan and
Wonhong Nam and
Rajeev Alur},
editor = {Ofer Strichman and
Armin Biere},
title = {Symbolic computational techniques for solving games},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {578--592},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82544-7},
doi = {10.1016/S1571-0661(05)82544-7},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MadhusudanNA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StrichmanB03,
author = {Ofer Strichman and
Armin Biere},
editor = {Ofer Strichman and
Armin Biere},
title = {Preface},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {541--542},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82541-1},
doi = {10.1016/S1571-0661(05)82541-1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StrichmanB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2003,
editor = {Ofer Strichman and
Armin Biere},
title = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/4},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2003.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-21 17:15 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:
