Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Safe Haskell | Safe-Infered |
CSPM.LTS.ToDot
Description
dump a Lts as a Dot-file todo : completely rewrite (use dot-library)
CSPM-cspm-0.6.0.4: cspm command line tool for analyzing CSPM specifications.
Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Safe Haskell | Safe-Infered |
CSPM.LTS.ToDot
Description
dump a Lts as a Dot-file todo : completely rewrite (use dot-library)