Sort by: Order: Results:

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 ...