Dezyne - Summary

This group is not part of the GNU Project.

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 developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(TUE).  Dezyne requires that every model is finite,
deterministic and free of deadlocks, livelocks, and contract
violations.  This is achieved by means of the language itself as well as
by builtin verification through model checking.  This allows the
construction of complex systems by assembling independently verified
components.

Dezyne is free software, it is distributed under the terms of the GNU
Affero General Public Licence version 3 or later.

Dezyne comes with dzn-runtime: a reference implementation for component
coroutines.  dzn-runtime is free software, it is distributed under the
terms of the GNU Lesser General Public Licence version 3 or later.

Registration Date: Wed 03 Nov 2021 10:30:33 AM UTC
License: GNU Affero General Public License v3 or later
Development Status: 5 - Production/Stable