Filewatcher File Search File Search
Catalog
Content Search
» » » » »

mcrl2

the mCRL2 formal specification language toolset

Variants:
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 muCRL. Using its accompanying toolset, systems can be analysed and verified automatically.

This toolset supports a collection of tools for linearisation, simulation, state-space exploration and generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised and analysed.

Homepage:
Package version:201007~rc1-1
Architecture:amd64
Distribution:Debian
Filename:mcrl2_201007~rc1-1_amd64.deb

/usr/share/doc/mcrl2/README

This directory contains the mCRL2 toolset.

See the file INSTALL for compilation and installation instructions.

Report bugs at <http://www.mcrl2.org/issuetracker>. Please include the version
number from `mcrl22lps --version', and a complete, self-contained test case in
each bug report.

If you have questions about using the mCRL2 toolset which the documentation
does not answer, send mail to <info
more»

/usr/share/doc/mcrl2/examples/industrial/garage/readme.txt

This directory contains specifications of the safety layer of the automated
parking garage as described in [1,2]. Also some trace files are provided to
give more insight in the specifications.

Each specification (.mcrl2 file) can be linearised to an LPS (.lps file) using
mcrl22lps. After that, the possibilities are listed in the following table.

  LPS                xsim    traces    lps2lts
  -
more»

/usr/share/doc/mcrl2/examples/visualisation/README

Follow these steps to create an FSM file for input to the visualization tools:

1. Choose an mCRL2 specification in one of the examples directories.

2. Assuming the file name of the specification is foo.mcrl2, create an LPS using
   the lineariser:
   $ mcrl22lps foo.mcrl2 foo.lps

3. Now generate a state space in mCRL2 SVC format:
   $ lps2lts foo.lps foo.svc

4. Finally, convert this state spac
more»

/usr/share/man/man1/chi2mcrl2.1.gz

CHI2MCRL2(1)                User Commands               CHI2MCRL2(1)



NAME
       chi2mcrl2 - conv
more»

/usr/share/man/man1/diagraphica.1.gz

DIAGRAPH(1)                 User Commands                DIAGRAPH(1)



NAME
       diagraph - inter
more»

/usr/share/man/man1/formulacheck.1.gz

FORMULACHECK(1)             User Commands            FORMULACHECK(1)



NAME
       formulacheck - c
more»

/usr/share/man/man1/grapemcrl2.1.gz

GRAPEMCRL2(1)               User Commands              GRAPEMCRL2(1)



NAME
       grapemcrl2  - gr
more»

/usr/share/man/man1/lps2lts.1.gz

LPS2LTS(1)                  User Commands                 LPS2LTS(1)



NAME
       lps2lts - genera
more»

Browse inside mcrl2_201007~rc1-1_amd64.deb

         [DIR]DEBIAN/ (4)  65535+ mirrors
         [DIR]usr/ (4)  65535+ mirrors

Download mcrl2_201007~rc1-1_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com