Concurrency Workbench swMATH ID: 14749 Software Authors: P. Stevens et al Description: 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. Homepage: http://homepages.inf.ed.ac.uk/perdita/cwb/ Related Software: LOTOS; CADP; NuSMV; PrivateLR; LOTOSphere; PRISM; LOEWE; CAESAR; PyCUDD; CUDD; SPIN; SIGREF; Globus Toolkit; Taverna; Circus; ProBE; FDR2; Z; csp2B; JACK Cited in: 11 Publications all top 5 Cited by 20 Authors 1 Attiogbé, Christian 1 Baeten, Jos C. M. 1 Bulychev, Peter E. 1 Bundy, Alan 1 Cao, Yongzhi 1 Dennis, Louise Abigail 1 Fraikin, Benoît 1 Frappier, Marc 1 Garavel, Hubert 1 Gorrieri, Roberto 1 Green, Ian 1 Ince, Darrel C. 1 Josephs, Mark B. 1 Kapoor, Hemangee K. 1 Pengelly, A. D. 1 Salaün, Gwen 1 Schumann, Johann M. Ph. 1 Versari, Cristian 1 Wang, Hanpin 1 Yang, Jiannan all top 5 Cited in 9 Serials 1 Information Processing Letters 1 The Computer Journal. Section A / Section B 1 Programming and Computer Software 1 Theoretical Computer Science 1 Science of Computer Programming 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Informatica (Ljubljana) 1 Texts in Theoretical Computer Science. An EATCS Series Cited in 3 Fields 11 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year