@inproceedings{conf/tacas/BlancKS08,
	title = {Scoot: A Tool for the Analysis of SystemC Models.},
	author = {Nicolas Blanc and Daniel Kroening and Natasha Sharygina},
	booktitle = {TACAS},
	crossref = {conf/tacas/2008},
	editor = {C. R. Ramakrishnan and Jakob Rehof},
	pages = {467-470},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#BlancKS08},
	volume = {4963},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/23164f37fd3a3999a8aa9f63aa2d32830/dblp},
	description = {dblp},
	date = {2008-04-21}, ee = {http://dx.doi.org/10.1007/978-3-540-78800-3_36}, isbn = {978-3-540-78799-0},
	keywords = {dblp }
}

@article{journals/tcad/JainKSC08,
	title = {Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.},
	author = {Himanshu Jain and Daniel Kroening and Natasha Sharygina and Edmund M. Clarke},
	journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
	number = {2},
	pages = {366-379},
	url = {http://dblp.uni-trier.de/db/journals/tcad/tcad27.html#JainKSC08},
	volume = {27},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2ae22ca76bba18302ac68feffa6e8b975/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/TCAD.2007.907270}, date = {2008-04-08},
	keywords = {dblp }
}

@inproceedings{conf/vmcai/DSilvaPK08,
	title = {Approximation Refinement for Interpolation-Based Model Checking.},
	author = {Vijay D'Silva and Mitra Purandare and Daniel Kroening},
	booktitle = {VMCAI},
	crossref = {conf/vmcai/2008},
	editor = {Francesco Logozzo and Doron Peled and Lenore D. Zuck},
	pages = {68-82},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2008.html#DSilvaPK08},
	volume = {4905},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2036910269ad2aa3eafc33a748cdb10ae/dblp},
	description = {dblp},
	date = {2008-03-03}, ee = {http://dx.doi.org/10.1007/978-3-540-78163-9_10}, isbn = {978-3-540-78162-2},
	keywords = {dblp }
}

@inproceedings{conf/fmcad/KroeningW07,
	title = {Lifting Propositional Interpolants to the Word-Level.},
	author = {Daniel Kroening and Georg Weissenbacher},
	booktitle = {FMCAD},
	crossref = {conf/fmcad/2007},
	pages = {85-89},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2007.html#KroeningW07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2b7e8c0700a367984d24c0120aa34ca8f/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.31}, date = {2008-02-11},
	keywords = {dblp }
}

@inproceedings{conf/hvc/BaslerKW07,
	title = {A Complete Bounded Model Checking Algorithm for Pushdown Systems.},
	author = {Gérard Basler and Daniel Kroening and Georg Weissenbacher},
	booktitle = {Haifa Verification Conference},
	crossref = {conf/hvc/2007},
	editor = {Karen Yorav},
	pages = {202-217},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#BaslerKW07},
	volume = {4899},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/28715191685c89f50c8cd68ed6f2353b2/dblp},
	description = {dblp},
	date = {2008-02-11}, ee = {http://dx.doi.org/10.1007/978-3-540-77966-7_17}, isbn = {978-3-540-77964-3},
	keywords = {dblp }
}

@inproceedings{conf/charme/BeyerJKLP03,
	title = {Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.},
	author = {Sven Beyer and Christian Jacobi and Daniel Kroening and Dirk Leinenbach and Wolfgang J. Paul},
	booktitle = {CHARME},
	crossref = {conf/charme/2003},
	editor = {Daniel Geist and Enrico Tronci},
	pages = {51-65},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/charme/charme2003.html#BeyerJKLP03},
	volume = {2860},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2cf3fd439bea94ce593df0f64b1989492/dblp},
	description = {dblp},
	date = {2008-02-08}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2860&spage=51}, isbn = {3-540-20363-X},
	keywords = {dblp }
}

@inproceedings{conf/kbse/BlancGK07,
	title = {Verifying C++ with STL containers via predicate abstraction.},
	author = {Nicolas Blanc and Alex Groce and Daniel Kroening},
	booktitle = {ASE},
	crossref = {conf/kbse/2007},
	editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer},
	pages = {521-524},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#BlancGK07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/25d1b46d7a7a0d2e004d79468826e1d6f/dblp},
	description = {dblp},
	date = {2008-02-07}, ee = {http://doi.acm.org/10.1145/1321631.1321724}, isbn = {978-1-59593-882-4 },
	keywords = {dblp }
}

@inproceedings{conf/kbse/WitkowskiBKW07,
	title = {Model checking concurrent linux device drivers.},
	author = {Thomas Witkowski and Nicolas Blanc and Daniel Kroening and Georg Weissenbacher},
	booktitle = {ASE},
	crossref = {conf/kbse/2007},
	editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer},
	pages = {501-504},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#WitkowskiBKW07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/298fb0de45711af522c652a50cf4121be/dblp},
	description = {dblp},
	date = {2008-02-07}, ee = {http://doi.acm.org/10.1145/1321631.1321719}, isbn = {978-1-59593-882-4 },
	keywords = {dblp }
}

@article{journals/tcs/CookKS07,
	title = {Verification of Boolean programs with unbounded thread creation.},
	author = {Byron Cook and Daniel Kroening and Natasha Sharygina},
	journal = {Theor. Comput. Sci.},
	number = {1-3},
	pages = {227-242},
	url = {http://dblp.uni-trier.de/db/journals/tcs/tcs388.html#CookKS07},
	volume = {388},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2e5c39586c1c8d5f25d021b98dc4f0ae3/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.tcs.2007.07.050}, date = {2008-01-31},
	keywords = {dblp }
}

@inproceedings{conf/iccad/KroeningS07,
	title = {Formal verification at higher levels of abstraction.},
	author = {Daniel Kroening and Sanjit A. Seshia},
	booktitle = {ICCAD},
	crossref = {conf/iccad/2007},
	editor = {Georges G. E. Gielen},
	pages = {572-578},
	publisher = {IEEE},
	url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2007.html#KroeningS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/258b40167daae11fbc62f056612ccc550/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1326073.1326192}, isbn = {1-4244-1382-6}, date = {2007-12-31},
	keywords = {dblp }
}