mCRL2

mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to µCRL. Extensive theory is available for verifying processes manually. A major part of this theory has been implemented in the accompanying toolset, allowing automatic analysis and verification of systems.


References in zbMATH (referenced in 37 articles , 1 standard article )

Showing results 1 to 20 of 37.
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. Ghassemi, Fatemeh; Mousavi, Mohammad Reza: Product line process theory (2016)
  3. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  4. Ma, Qian; Duan, Zhenhua; Zhang, Nan; Wang, Xiaobing: Verification of distributed systems with the axiomatic system of MSVL (2015)
  5. ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco: Model checking value-passing modal specifications (2015)
  6. Groote, Jan Friso; Mousavi, Mohammad Reza: Modeling and analysis of communicating systems (2014)
  7. Yamagata, Yoriyuki; Kong, Weiqiang; Fukuda, Akira; Tang, Nguyen Van; Ohsaki, Hitoshi; Taguchi, Kenji: A formal semantics of extended hierarchical state transition matrices using CSP# (2014)
  8. Cranen, Sjoerd; Groote, Jan Friso; Keiren, Jeroen J.A.; Stappers, Frank P.M.; de Vink, Erik P.; Wesselink, Wieger; Willemse, Tim A.C.: An overview of the mCRL2 toolset and its recent advances (2013)
  9. Durán, Francisco; Ouederni, Meriem; Salaün, Gwen: A generic framework for $n$-protocol compatibility checking (2012)
  10. Groote, Jan Friso; Kouters, Tim W.D.M.; Osaiweran, Ammar: Specification guidelines to avoid the state space explosion problem (2012)
  11. Hwong, Yi-Ling; Kusters, Vincent J.J.; Willemse, Tim A.C.: Analysing the control software of the compact Muon Solenoid experiment at the large hadron collider (2012)
  12. Kokash, Natallia; Krause, Christian; De Vink, Erik: Reo + $\mathrmmCRL2$: a framework for model-checking dataflow in service compositions (2012)
  13. Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad: Symbolic execution of Reo circuits using constraint automata (2012)
  14. Wijs, A.J.; Dashti, M.Torabi: Extended beam search for non-exhaustive state space analysis (2012)
  15. Andova, S.; Groenewegen, L.P.J.; de Vink, E.P.: Dynamic consistency in process algebra: from paradigm to ACP (2011)
  16. Crafa, Ilvia; Ranzato, Francesco; Tapparo, Francesco: Saving space in a time efficient simulation algorithm (2011)
  17. Cranen, Sjoerd; Groote, Jan Friso; Reniers, Michel: A linear translation from CTL$^*$ to the first-order modal $\mu $-calculus (2011)
  18. Ghassemi, Fatemeh; Fokkink, Wan; Movaghar, Ali: Verification of mobile ad hoc networks: an algebraic approach (2011)
  19. Ploeger, B.; Wesselink, J.W.; Willemse, T.A.C.: Verification of reactive systems via instantiation of parameterised Boolean equation systems (2011)
  20. Roohi, Nima; Salaün, Gwen: Realizability and dynamic reconfiguration of chor specifications (2011)

1 2 next