Browsing Computer Science (Theses and Dissertations) by Author "GOMES, ARTUR OLIVEIRA"
Now showing items 1-1 of 1
-
Model-checking circus with FDR using circus2csp
GOMES, ARTUR OLIVEIRA (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 ...