Portability | GHC-only dump a Lts as Csp-Specifications suitable for FDR-refinementcheck todo :: make this a pure function (maybe serialize to a ByteString) |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Portability | GHC-only dump a Lts as Csp-Specifications suitable for FDR-refinementcheck todo :: make this a pure function (maybe serialize to a ByteString) |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |