Tim Lange

Email
tim.lange at cs.rwth-aachen.de
Address
Room 4203
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21206

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

  • IC3/Property-Directed Reachability
  • Safety Verification
  • SAT/SMT Solving
  • Static Program Analysis
2019
DOI [bibtex] [issue] Joost-Pieter Katoen, Martin R. Neuhäußer, Thomas Noll, Tim Felix Lange. IC3 software model checking, International journal on software tools for technology transfer 22 (2), pages 135–161, Springer, 2019.
2018
DOI fulltext PDF [bibtex] [issue] Tim Felix Lange. IC3 software model checking, PhD Thesis, RWTH Aachen University, Volume 2019-02 of Aachener Informatik-Berichte, 1 Online-Ressource (viii, 187 Seiten) : Illustrationen, 2018.