@article(Erika07,
 author       = "Erika \'{A}brah\'{a}m and Tobias Schubert and Bernd Becker and Martin Fr\"{a}nzle and Christian Herde",
 year         = "2011",
 title        = "Parallel {SAT} solving in bounded model checking",
 volume       = "21",
 number       = "1",
 pages        = "5--21",
 doi          = "10.1093/logcom/exp002",
)
@inproceedings(BBCR10b,
 author       = "J. Barnat and L. Brim and M. \v {C}e\v {s}ka and P. Ro\v {c}kai",
 year         = "2010",
 title        = "{DiVinE: Parallel Distributed Model Checker (Tool paper)}",
 booktitle    = "HiBi/PDMC 2010",
 publisher    = "IEEE",
 doi          = "10.1109/PDMC-HiBi.2010.9",
)
@inproceedings(BarTin-CAV-07,
 author       = "Clark Barrett and Cesare Tinelli",
 year         = "2007",
 title        = "{CVC3}",
 editor       = "W. Damm and H. Hermanns",
 booktitle    = "CAV'07",
 series       = "LNCS",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-73368-3\_34",
)
@inproceedings(Bradley11,
 author       = "Aaron R. Bradley",
 year         = "2011",
 title        = "{SAT}-based model checking without unrolling",
 series       = "VMCAI '11",
 publisher    = "Springer-Verlag",
 pages        = "70--87",
 url          = "http://dl.acm.org/citation.cfm?id=1946284.1946291",
)
@techreport(DutDeM-RR-06,
 author       = "Bruno Dutertre and Leonardo de Moura",
 year         = "2006",
 title        = "The {YICES SMT} Solver",
 type         = "Technical Report",
 institution  = "SRI International",
 url          = "http://yices.csl.sri.com/",
)
@article(ES2003,
 author       = "Niklas E{\'e}n and Niklas S{\"o}rensson",
 year         = "2003",
 title        = "Temporal induction by incremental {SAT} solving",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "89",
 number       = "4",
 doi          = "10.1016/S1571-0661(05)82542-3",
)
@inproceedings(hagen08,
 author       = "George Hagen and Cesare Tinelli",
 year         = "2008",
 title        = "Scaling up the formal verification of {L}ustre programs with {SMT}-based techniques",
 booktitle    = "FMCAD '08",
 address      = "Piscataway, NJ, USA",
 pages        = "1--9",
 doi          = "10.1109/FMCAD.2008.ECP.19",
)
@article(lustre,
 author       = "N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud",
 year         = "1991",
 title        = "The synchronous data-flow programming language {L}ustre",
 journal      = "Proceedings of the IEEE",
 volume       = "79",
 number       = "9",
 pages        = "1305--1320",
 doi          = "10.1109/5.97300",
)
@inproceedings(Kahsai-Ge-Tinelli-10,
 author       = "Temesghen Kahsai and Yeting Ge and Cesare Tinelli",
 year         = "2011",
 title        = "Instantiation-Based Invariant Discovery",
 booktitle    = "NFM 2011",
 series       = "LNCS",
 volume       = "6617",
 publisher    = "Springer",
 pages        = "192--207",
 url          = "http://dl.acm.org/citation.cfm?id=1986308.1986326",
)
@inproceedings(deMRS-CAV-03,
 author       = "Leonardo de Moura and Harald Rue{\ss } and Maria Sorea",
 year         = "2003",
 title        = "Bounded Model Checking and Induction: From Refutation to Verification",
 booktitle    = "CAV 2003",
 series       = "LNCS",
 volume       = "2725",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-70952-7\_21",
)
@book(mpi97,
 author       = "Peter S. Pacheco",
 year         = "1997",
 title        = "Parallel programming with MPI",
 publisher    = "Morgan Kaufmann Publishers Inc.",
)
@inproceedings(She00,
 author       = "Mary Sheeran and Satnam Singh and Gunnar St{\r a}lmarck",
 year         = "2000",
 title        = "Checking Safety Properties Using Induction and a {SAT}-Solver",
 booktitle    = "FMCAD '00",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "108--125",
 doi          = "10.1007/3-540-40922-X\_8",
)
@inproceedings(tarmo09,
 author       = "Siert Wieringa and Matti Niemenmaa and Keijo Heljanko",
 year         = "2009",
 title        = "Tarmo: A Framework for Parallelized Bounded Model Checking",
 booktitle    = "PDMC '09",
 pages        = "62--76",
 doi          = "10.4204/EPTCS.14.5",
)