Unser Forscher Rüdiger Ehlers ist momentan auf dem World Congress on Formals Methods in Porto (Portugal) zu finden. Am Donnerstag stellt er eine Methode vor, wie beim Prüfen der Korrektheit eines Systems (Model Checking) ein möglichst kurzes Gegenbeispiel gefunden werden kann, falls ein zu testendes System nicht korrekt ist.
Weitere Informationen über den Weltkongress gibt es hier: http://www.fmeurope.org/