CSPM-ToProlog

Version 0.5.5.0 revision 0 uploaded by MarcFontaine.

Package meta

Synopsis
some modules specific for the ProB tool
Description

This package contains a translation from a CSPM AST to the representation used by the ProB tool. This code is only interesting for ProB developers.

Author
2006-2017 Marc Fontaine <Marc.Fontaine@gmx.de>
Bug reports
n/a
Category
Formal Methods
Copyright
n/a
Homepage
n/a
Maintainer
Marc Fontaine <Marc.Fontaine@gmx.de>
Package URL
n/a
Stability
n/a

Components