mCRL2 transformation website: Supported specifications list is incomplete
The list of restrictions is incomplete. At leas the following restrictions should be added:
- Input variables are not supported.
- User-defined functions are not supported.
The list of restrictions is incomplete. At leas the following restrictions should be added:
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent