Browsing Computer Science (Theses and Dissertations) by Sponsor "The Irish Software Research Centre (LERO)"
Now showing items 1-1 of 1
(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 ...