Viðburðir eftir árum


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. 



Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á ru.is eða með því að senda tölvupóst á netfangið: personuvernd@ru.is
//
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our ru.is or send an e-mail: personuvernd@ru.is