Tool prototypes

To enable the experiments of the devised formalisms and techniques on mini cases, we will provide support for these through a number of prototypical tools. These will be obtained in a systematic manner from (structural) operational semantics, allowing a generic way of obtaining simulators, static analysis, model and equivalence checkers as well as support for statistical model checking for a variety of modeling formalisms, and will enable use of the growing number of affordable, yet powerful, GPUs (Graphical Processing Units), PC-clusters and GRID computing, for parallel and distributed model analysis.

Work package leader:

Anders Peter Ravn, Aalborg University