MCRL2

mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2005-2017
051020052017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The mCRL2 language and supporting software provide a state-of-the-art tool suite for the verification of distributed systems. In… (More)
  • figure 2
  • figure 3
Is this relevant?
2014
2014
We introduce by means of an example a modular verification technique for analyzing the behavior of software product lines using… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2014
2014
We show how the formal specification language mCRL2 and its state-of-the-art toolset can be used successfully to model and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2012
2012
The mCRL2 language is a formal specification language that is used to specify, model, analyze and verify behavioral properties… (More)
  • figure 1
  • table I
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2011
2011
History. Experience in applying the μCRL toolset [1] to real world systems uncovered major shortcomings. These shortcomings led… (More)
Is this relevant?
2011
2011
The paradigm of service-oriented computing revolutionized the field of software engineering. According to this paradigm, new… (More)
  • figure 4
  • table 1
  • figure 5
  • table 2
  • figure 6
Is this relevant?
2010
2010
ion An important notion in process algebra is that of abstraction. Usually the requirements of a system are defined in terms of… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
2008
2008
We describe the toolset for the behavioural specification language mCRL2. The purpose of the toolset is to analyse abstract… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2007
2007
We describe a translation from Rebeca, an actor-based language, to mCRL2, a process algebra enhanced with data types. The main… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?