search

mCRL2org / mCRL2

The Git repository for the mCRL2 toolset.
https://mcrl2.org/
Boost Software License 1.0
88 stars 37 forks source link

Manual page for lps2pbes #206

Closed jgroote closed 16 years ago

jgroote commented 17 years ago

Issue migrated from trac ticket # 203

component: lps2pbes | priority: major | resolution: fixed | keywords: lps2pbes man

2007-05-25 00:19:17: muck@mweerden.net created the issue

There doesn't seem to be any documentation of lps2pbes yet. Specifically, it would be nice to have the syntax for state formulas somewhere.

jgroote commented 16 years ago

2007-12-14 11:39:42: muck@mweerden.net changed owner from timw to amathijs

jgroote commented 16 years ago

2007-12-18 14:30:47: A.H.J.Mathijssen@tue.nl changed status from new to closed

jgroote commented 16 years ago

2007-12-18 14:30:47: A.H.J.Mathijssen@tue.nl changed resolution from * to fixed*

jgroote commented 16 years ago

2007-12-18 14:30:47: A.H.J.Mathijssen@tue.nl commented

The website now contains a manual page for lps2pbes and a description of the syntax of the mu-calculus. See: