loader image

Test Solutions for Model-based Development

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Blog

Interview: How does a Model Checker work?

Wolfgang Meincke

Stuttgart, Germany

Wolfgang Meincke

Stuttgart, Germany

Senior Application Engineer

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.

Connect on LinkedIn

Dr. Karsten Scheibler

Oldenburg, Germany

Senior Research Engineer

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.

Connect on LinkedIn

Popular Videos

Play Video
Play Video

Request Evaluation License

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for youto meet one-on-one with our support and engineering teams.

Schedule a Meeting

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

Join our newsletter

Your email address will be submitted to the privacy-certified newsletter software CleverReach for technical distribution. For further information go to our privacy policy.

Videos

Discover some of the main features of our products in these short videos.