ICE-TCS seminar: Carlo Gregorio-Rodriguez
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.