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 45 articles , 1 standard article )

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

1 2 3 next

  1. de Putter, Sander; Wijs, Anton: A formal verification technique for behavioural model-to-model transformations (2018)
  2. da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila: Theorem proving graph grammars with attributes and negative application conditions (2017)
  3. Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon: Combine and conquer: relating BIP and Reo (2017)
  4. Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J.A.; Wijs, Anton J.: An $\mathcal O(m\log n)$ algorithm for computing stuttering equivalence and branching bisimulation (2017)
  5. van Delft, Myrthe; Geuvers, Herman; Willemse, Tim A.C.: A formalisation of consistent consequence for Boolean equation systems (2017)
  6. Barnat, Jiří; Bauch, Petr; Beneš, Nikola; Brim, Luboš; Beran, Jan; Kratochvíla, Tomáš: Analysing sanity of requirements for avionics systems (2016)
  7. Beohar, Harsh; Mousavi, Mohammad Reza: Input-output conformance testing for software product lines (2016)
  8. de Frutos Escrig, David; Keiren, Jeroen J.A.; Willemse, Tim A.C.: Branching bisimulation games (2016)
  9. Ghassemi, Fatemeh; Mousavi, Mohammad Reza: Product line process theory (2016)
  10. Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A.C.: Abstraction in fixpoint logic (2015)
  11. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  12. Keiren, Jeroen J.A.: Benchmarks for parity games (2015)
  13. Ma, Qian; Duan, Zhenhua; Zhang, Nan; Wang, Xiaobing: Verification of distributed systems with the axiomatic system of MSVL (2015)
  14. ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco: Model checking value-passing modal specifications (2015)
  15. Groote, Jan Friso; Mousavi, Mohammad Reza: Modeling and analysis of communicating systems (2014)
  16. Li, Liyi; Gunter, Elsa; Mansky, William: Symbolic analysis tools for CSP (2014)
  17. 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)
  18. 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)
  19. Durán, Francisco; Ouederni, Meriem; Salaün, Gwen: A generic framework for $n$-protocol compatibility checking (2012)
  20. Groote, Jan Friso; Kouters, Tim W.D.M.; Osaiweran, Ammar: Specification guidelines to avoid the state space explosion problem (2012)

1 2 3 next