Formal Methods - How to test the untestable

🔍 Writing good test cases from requirements is challenging, but what about those elusive "mystery requirements" that seem impossible to test? 🤔

🎥 For this episode of our Video blog, Markus met Thabo in rainy Modena 🇮🇹 to talk about this question.

#testing #modelchecking #softwaredevelopment #safetyrequirements #automotiveindustry

Please also have a look at our other videos. If you have any question or if you are interested in a trial license, please don't hesitate to contact us.