Publications
2015
Martin, Leucker, Grigory Markin, and R. Neuhäußer Martin
A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. :155–170. 2015.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Elisabeth Husmann
- Hannes Kallwies
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Gunnar Bergmann
- Hannes Preiss
- Martin Sachenbacher
- Open Positions
- Contact
- Staff
- Martin Leucker
- Elisabeth Husmann
- Philipp Bende
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Hannes Kallwies
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Grigory Markin
- Maria Ostanina
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Gunnar Bergmann
- Hannes Preiß
- Martin Sachenbacher
- Complete List
- Open Positions