Browsing by Subject "Circus"

Now showing items 1-5 of 5

    • Circus performers, by torchlight 

      Garstin, Norman (British painter, 1847-1926) (1988-03)

    • Circus2CSP: A tool for model-checking circus using FDR 

      Butterfield, Andrew; Gomes, Artur Oliveira (2019)
      In this paper, we introduce Circus2CSP, a tool that automatically translates Circus into 𝐶𝑆𝑃𝑀, with an implementation based on a published manual translation scheme. This scheme includes new and modified translation ...

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

    • That Grand Conversation was Under the Rose 

      Yeats, Jack B. (2009-02-16)

    • Towards a model-checker for circus 

      Butterfield, Andrew; Gomes, Artur Oliveira (2019)
      Among several approaches aiming at the correctness of systems, model-checking is one technique to formally assess system models regarding their desired/undesired behavioural properties. We aim at model-checking the Open ...