dezyne 2.18.3

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.

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 dezyne 2.18.3 as follows:

guix install dezyne@2.18.3

Or install the latest version:

guix install dezyne

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.