Tim Lange
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen
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
Publications
| 2018 | |
|---|---|
| DOI | Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3, Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / Maria del Mar Gallardo, Pedro Merino (eds.), 85-102, Springer, 2018. |
| 2015 | |
| Tim Lange, Martin R. Neuhäußer, Thomas Noll. IC3 Software Model Checking on Control Flow Automata, Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design (FMCAD 2015) : Austin, Texas, USA , September 27 - 30, 2015 / Edited by Roope Kaivola and Thomas Wahl, 97-104, FMCAD Inc, 2015. | |
| 2013 | |
| DOI | Tim Lange, Martin R. Neuhäußer, Thomas Noll. Speeding Up the Safety Verification of Programmable Logic Controller Code, Hardware and software: verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 ; proceedings / Valeria Bertacco; Axel Legay (eds.), 44-60, Springer, 2013. |