Concurrency Workbench
The Edinburgh Concurrency Workbench: a tool for describing, exploring and automatically verifying systems. Edinburgh Concurrency Workbench Summary: The Edinburgh Concurrency Workbench (CWB) is an automated tool which caters for the manipulation and analysis of concurrent systems. In particular, the CWB allows for various equivalence, preorder and model checking using a variety of different process semantics. For example, with the CWB it is possible to: define behaviours given either in an extended version of CCS or in SCCS, and perform various analyses on these behaviours, such as analysing the state space of a given process, or checking various semantic equivalences and preorders; define propositions in a powerful modal logic and check whether a given process satisfies a specification formulated in this logic; play Stirling-style model-checking games to understand why a process does or does not satisfy a formula; derive automatically logical formulae which distinguish nonequivalent processes; interactively simulate the behaviour of an agent, thus guiding it through its state space in a controlled fashion.
Keywords for this software
References in zbMATH (referenced in 13 articles )
Showing results 1 to 13 of 13.
Sorted by year (- Gorrieri, Roberto; Versari, Cristian: Introduction to concurrency theory. Transition systems and CCS (2015)
- Curcin, Vasa; Ghanem, Moustafa M.; Guo, Yike: Analysing scientific workflows with computational tree logic (2009)
- Fraikin, Beno{^ı}t; Frappier, Marc: Efficient symbolic computation of process expressions (2009)
- Garavel, Hubert: Reflections on the future of concurrency theory in general and process calculi in particular. (2008)
- Barbosa, Marco Antonio; Barbosa, Luís Soares: Configurations of web services. (2007)
- Baeten, J.C.M.: A brief history of process algebra (2005)
- Blom, Stefan; Groote, Jan Friso; Mauw, Sjouke; Serebrenik, Alexander: Analysing the BKE-security protocol with $\it \mu $CRL. (2005)
- Kapoor, Hemangee K.; Josephs, Mark B.: Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench (2004)
- Salaün, Gwen; Attiogbé, Christian: MIAOw: a method to integrate a process algebra with formal data (2004)
- Safránek, David: SGCCS: A graphical language for real-time coordination. (2003)
- Pengelly, A.D.; Ince, D.C.: Quotient machines, the interface equation and protocol conversion (2000)
- Schumann, Johann: Automated theorem proving in high-quality software design (2000)
- Schamschurko, Dmitri: Modeling process calculi with PVS. (1998)