Interview: How does a Model Checker work?

Wolfgang Meincke studied Computer Science at the University Ravensburg-Weingarten where he graduated in 2006. He then worked at EWE TEL GmbH where he was responsible for requirements engineering and project management for software development projects as well as agile software development processes. In 2014 he joined BTC as senior pilot engineer to support the customers to integrate the tools into their development processes as well as giving support and training on test methodologies regarding the ISO 26262 standard. One of his main areas of interest is the formalization of safety requirements and their verification based on formal testing and model-checking technologies for unit test, integration test and HIL real-time-testing.

Dr. Karsten Scheibler studied Computer Science at the Martin Luther University of Halle-Wittenberg and received his Diploma in 2006. Furthermore, between 1999 and 2010 he worked at an IT security service provider. From 2010 to 2017 he was a research assistent at the University of Freiburg and received a doctoral degree in Computer Science in 2017 with a dissertation about the application of Conflict-Driven Clause Learning in verification and test. In 2017 he joined BTC Embedded Systems where he works currently as a Senior Research Engineer in the Innovation & Technology Department.