mCRL

(micro CRL - written as mCRL if the symbol µ is not available) μCRL: A toolset for analysing algebraic specifications. μCRL is a language for specifying and verifying distributed systems in an algebraic fashion. It targets the specification of system behaviour in a process-algebraic style and of data elements in the form of abstract data types. The μCRL toolset (see http://www.cwi.nl/ mcrl/) supports the analysis and manipulation of μCRL specifications. A μCRL specification can be automatically transformed into a linear process operator (LPO). All other tools in the μCRL toolset use LPOs as their starting point. The simulator allows the interactive simulation of an LPO. There are a number of tools that allow optimisations on the level of LPOs. The instantiator generates a labelled transition system (LTS) from an LPO (under the condition that it is finite-state), and the resulting LTS can be visualised, analysed and minimised


References in zbMATH (referenced in 29 articles , 2 standard articles )

Showing results 1 to 20 of 29.
Sorted by year (citations)

1 2 next

  1. Barnat, Jiří; Bauch, Petr; Beneš, Nikola; Brim, Luboš; Beran, Jan; Kratochvíla, Tomáš: Analysing sanity of requirements for avionics systems (2016)
  2. de Frutos Escrig, David; Keiren, Jeroen J. A.; Willemse, Tim A. C.: Branching bisimulation games (2016)
  3. Ghassemi, Fatemeh; Fokkink, Wan: Model checking mobile ad hoc networks (2016)
  4. Wijs, A. J.; Dashti, M. Torabi: Extended beam search for non-exhaustive state space analysis (2012)
  5. Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael: Derivation tree analysis for accelerated fixed-point computation (2011)
  6. Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza: Lifting non-finite axiomatizability results to extensions of process algebras (2010)
  7. Stöcker, Jan; Lang, Frédéric; Garavel, Hubert: Parallel processes with real-time and data: the ATLANTIF intermediate format (2009)
  8. Vu, Thuy Duong: Thread algebra for noninterference (2009)
  9. Wijs, Anton J.; van de Pol, Jaco C.; Bortnik, Elena M.: Solving scheduling problems by untimed model checking The clinical chemical analyser case study (2009) ioport
  10. Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael: A database approach to distributed state space generation (2008)
  11. Dashti, M. Torabi; Wijs, A.; Lisser, B.: Distributed partial order reduction for security protocols (2008) ioport
  12. Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans: Generalizing DPLL and satisfiability for equalities (2007)
  13. Calamé, Jens R.; Ioustinova, Natalia; van de Pol, Jaco: Automatic model-based generation of parameterized test cases using data abstraction (2007) ioport
  14. Chothia, Tom; Pang, Jun; Dashti, Mohammad Torabi: Keeping secrets in resource aware components (2007)
  15. Valero Espada, Miguel; van de Pol, Jaco: An abstract interpretation toolkit for (\mu)CRL (2007)
  16. van Weerdenburg, Muck: An account of implementing applicative term rewriting (2007)
  17. Fokkink, Wan; Pang, Jun; van de Pol, Jaco: Cones and foci: A mechanical framework for protocol verification (2006)
  18. Groote, Jan Friso; Mathijssen, Aad; Van Weerdenburg, Muck; Usenko, Yaroslav: From (\mu)CRL to mCRL2: motivation and outline (2006)
  19. Groote, Jan Friso; Reniers, Michel A.; Usenko, Yaroslav S.: Discretization of timed automata in timed (\mu)CRL à la regions and zones (2006)
  20. Groote, Jan Friso; van Ham, Frank: Interactive visualization of large state spaces (2006) ioport

1 2 next