@TechReport{Lange19,
  author      = "Tim Felix Lange",
  title       = "IC3 Software Model Checking",
  institution = "RWTH Aachen",
  keywords    = "ic3, pdr, verification, generalizaton",
  year        = "2019",
  number      = "AIB-2019-02",
  month       = feb,
  url         = "http://aib.informatik.rwth-aachen.de/2019/2019-02.pdf",
}