• LOTOS

  • Referenced in 147 articles [sw02961]
  • although it is applicable to distributed, concurrent systems in general. In LOTOS a system...
  • CESAR

  • Referenced in 139 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR. The aim of this paper...
  • SLMC

  • Referenced in 69 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications. The Spatial ... systems against safety, liveness, and structural properties expressed in the spatial logic for concurrency ... techniques to check temporal properties of software systems. However, when the analysis focuses on properties...
  • MWB

  • Referenced in 33 articles [sw04395]
  • tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity structures) described...
  • Pict

  • Referenced in 70 articles [sw08929]
  • convenient syntactic sugar and a static type system to a tiny core. The current release ... theoretical foundation for a broad class of concurrent computations. The goal in Pict ... order programming, selective communication, and concurrent objects. The type system integrates a number of features...
  • Erlang

  • Referenced in 95 articles [sw07202]
  • messaging. Erlang’s runtime system has built-in support for concurrency, distribution and fault tolerance...
  • Creol

  • Referenced in 25 articles [sw09421]
  • safe object-oriented model for distributed concurrent systems. Object-oriented distributed computing is becoming increasingly...
  • Renew

  • Referenced in 16 articles [sw04387]
  • well established means to describe concurrent systems. Over the years, numerous extensions to the basic...
  • PMaude

  • Referenced in 27 articles [sw08422]
  • specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude ... through discrete-event simulation. Because distributed and concurrent communication protocols can be modelled using actors ... concurrent objects with asynchronous message passing), we provide an actor PMaude module. The module aids ... quantified) non-determinism in a probabilistic system is necessary for a form of statistical analysis...
  • Concurrency Workbench

  • Referenced in 12 articles [sw14749]
  • describing, exploring and automatically verifying systems. Edinburgh Concurrency Workbench Summary: The Edinburgh Concurrency Workbench ... manipulation and analysis of concurrent systems. In particular, the CWB allows for various equivalence, preorder...
  • MMT

  • Referenced in 15 articles [sw07905]
  • examples from programming languages semantics and concurrent systems. This paper reports on the development...
  • CAESAR_SOLVE

  • Referenced in 14 articles [sw10194]
  • various verification problems on finite-state concurrent systems, such as equivalence checking and model checking...
  • COSY

  • Referenced in 14 articles [sw30494]
  • processes. A new notation for specifying systems of concurrent processes sharing distributed systems of resources ... defining novel, highly concurrent and distributed algorithms performing important operating system functions. The notation permits ... algorithms as well as their novel, highly concurrent and distributed implementation...
  • ABCL

  • Referenced in 14 articles [sw28079]
  • ABCL: An Object-oriented Concurrent System. This book provides an overview of the new paradigm...
  • Truth/SLC

  • Referenced in 8 articles [sw01623]
  • Truth/SLC -- a parallel verification platform for concurrent systems. Concurrent software and hardware systems play ... aiming to give rigorous support for the system design and for establishing its correctness properties ... design of safety-critical concurrent systems where an ad hoc or conventional software engineering approach...
  • SLAB

  • Referenced in 8 articles [sw09875]
  • Certifying Model Checker for Infinite-State Concurrent Systems. Systems and protocols combining concurrency and infinite ... automatically. At the same time, if the system is correct, it is desirable ... certifying model checker for infinite-state concurrent systems. The tool uses a procedure that interleaves...
  • TLC

  • Referenced in 12 articles [sw09530]
  • specifications is explained in Specifying Concurrent Systems , which also describes TLC. However, it doesn...
  • PostgreSQL

  • Referenced in 63 articles [sw15935]
  • correctness. It runs on all major operating systems, including Linux, UNIX ... boasts sophisticated features such as Multi-Version Concurrency Control (MVCC), point in time recovery, tablespaces ... number of concurrent users it can accommodate. There are active PostgreSQL systems in production environments...
  • TLA

  • Referenced in 25 articles [sw04442]
  • writing high-level specifications of concurrent and distributed systems. PlusCal is an algorithm language that...
  • fc2tools

  • Referenced in 11 articles [sw12386]
  • toolset for the verification of concurrent systems. The FC2Tools package, together with its graphical editor...