Viðburðadagatal TD

ICE-TCS seminar: Carlo Gregorio-Rodriguez

  • 22.6.2015, 14:00 - 15:00

ICE-TCS-logo-200px

DATE/TIME: Monday, 22 June 2015 at 2pm
PLACE: Room M102

SPEAKER: Carlo Gregorio-Rodriguez (Universidad Complutense de Madrid, Spain; WWW: http://wild.mat.ucm.es/homepage/)
TITLE:
A conformance simulation relation for model based testing and model checking.

ABSTRACT:  Model Based Testing and Model Checking are two of the most fruitful Formal Methods Techniques used to ensure that and implementation conforms to a given specification with tens of available tools. In this talk we describe how we have develop a new conformance relation of interest for both Model Based Testing and Model Checking. This conformance relation
has been integrated in the mCRL2 tool and tested with the Very Large Transition System Benchmark, designed to be a reference criterion for scientific assessment of algorithms and tools operating on very large graphs.