Browsing Computer Science (Theses and Dissertations) by Subject "Safety Critical Systems"
Now showing items 1-1 of 1
-
Model-checking circus with FDR using circus2csp
(Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2019)The current lack of tool support for model-checking Circus, a formalism which combines Z, CSP, refinement calculus and Dijkstra's guarded commands, is one of the constraints for its use at industrial scale. Nowadays, it ...