Hong Zhang: Quality metrics for ASOME data models
–
At ASML the ASOME data modelling language has been defined. Many system designers are defining models in this language, and the question is whether there is an easy way to assess that these models are ok. This can be done using metrics. The question is which metrics are proper. In this MSc research various metrics …continue reading
M. Laveaux, T. Neele, O. Bunte: The 201808.0 mCRL2 release
–
In this talk, we will give an overview of the additions and improvements to mCRL2 from the last couple of years. First, the mCRL2 language has been expanded with the possibility to specify probabilistic behaviour. Second, there are several new and improved implementations of behavioural relations: the GJKW algorithm for branching bisimulation with complexity O(m …continue reading