The Formal Specification Language mCRL2

13 years 6 months ago

Download www.win.tue.nl

We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the

Jan Friso Groote, Aad Mathijssen, Michel A. Renier

Real-time Traffic

Abstract Data Types | DAGSTUHL 2006 | DAGSTUHL 2007 | Data Types | Specification Language |

claim paper

» A framework for performance evaluation and functional verification in stochastic process a...

» Verification of ContextDependent ChannelBased Service Models

» Formal Specification and Prototyping of CORBA Systems

» Facilitating formal specification acquisition by using recursive functions on contextfree ...

» ConSpec A Formal Language for Policy Specification

» The GOQL Language and its Formal Specifications

» Rewriting Logic Semantics From Language Specifications to Formal Analysis Tools

» Formal Methods Meet Domain Specific Languages

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2006
Where	DAGSTUHL
Authors	Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg

Comments (0)

Sciweavers

The Formal Specification Language mCRL2

Abstract Data Types | DAGSTUHL 2006 | DAGSTUHL 2007 | Data Types | Specification Language |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers