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, 1-27, 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.