dezyne
Programming language with verifyable formal semantics
Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems. The Dezyne language has formal semantics expressed in mCRL2.
- Versions: 2.18.3
- Website: https://dezyne.org
- Licenses: AGPL 3+ · CC0 · LGPL 3+
- Package source: gnu/packages/dezyne.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of dezyne as follows:
guix install dezyne
Or install a particular version:
guix install dezyne@2.18.3
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of dezyne about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/dezyne'><img src='https://packages.guix.gnu.org/packages/dezyne/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/dezyne)
Example Org:
[[https://packages.guix.gnu.org/packages/dezyne][https://packages.guix.gnu.org/packages/dezyne/badges/latest-version.svg]]