Category Archives: Verification Tools

Overview of MDELab Tool Framework for the Development of Correct Model Transformation with Triple Graph Grammars

Posted on September 10, 2012 by mdelab

We will be presenting a paper on the 1st Workshop on the Analysis of Model Transformations, which introduces our framework for the development of correct model transformations with triple graph grammars. An intermediate version of the paper can be downloaded, … Continue reading →

Posted in TGGs, Verification Tools | Comments Off on Overview of MDELab Tool Framework for the Development of Correct Model Transformation with Triple Graph Grammars

IPTA edition of PRISM

Posted on June 8, 2011 by mdelab

Interval Probabilistic Timed Automata (IPTA) are a recently introduced model for probabilistic real-time behavior with uncertainties. The current development version of the PRISM model checker already supports Probabilistic Timed Automata (PTA). To support also the probability intervals used in IPTA, … Continue reading →

Posted in Verification Tools | Comments Off on IPTA edition of PRISM