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. |