Browsing by Sponsor "The Brazilian National Council for Scientific and Technological Development (CNPq)"
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 ...