Solving scheduling problems by untimed model checking: the clinical chemical analyser case study
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Extended Beam Search for Quantitative Model Checking
Model Checking and Artificial Intelligence
Hi-index | 0.00 |
In this paper we first give short overviews of the modelling languages timed 驴t and µCRL. Then we present a general translation scheme to translate 驴t specifications to µCRL specifications. As 驴t targets performance analysis and µCRL targets functional analysis of systems, this translation scheme provides a way to perform both kinds of analysis on a given 驴t system model. Finally, we give an example of a 驴t system and show how the translation works on a concrete case study.