Dezyne

[edit]

• Overview
• Details
• About this entry

Dezyne

https://dezyne.org/
A programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software

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 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.

IRC general channel

irc://http://libera.chat/#dezyne

Download

https://dezyne.org/download/dezyne/dezyne-2.15.0.tar.gz

VCS Checkout

git clone git://git.savannah.nongnu.org/dezyne.git

Categories

• Library:C++
• Mathematics:symbolic
• Mathematics:theorem-prover
• Programming-language:C++
• Programming-language:scheme
• Runs-on:GNU/Linux
• Science:artificial-intelligence
• Science:engineering
• Software-development:compiler
• Software-development:model-checker
• Software-development:programming-language
• Use:science
• Use:security
• Use:software-development
• Works-with:text

Licensing

License

Verified by

Verified on

Notes

License

AGPL-3.0-or-later

Verified by

craigt

Verified on

6 May 2022

Notes

https://git.savannah.nongnu.org/cgit/dezyne.git/tree/COPYING.AGPL - Dezyne program https://git.savannah.nongnu.org/cgit/dezyne.git/tree/COPYING.LGPL - Dezyne runtime library

Leaders and contributors

Resources and communication

Audience	Resource type	URI
Users, Developers	Mailing List	https://lists.nongnu.org/mailman/listinfo/dezyne-devel

Software prerequisites

Kind	Description
Required to use	Gettext
Required to build	GNU make
Required to use	Texinfo
Required to build	Automake (build from git)
Required to build	Autoconf (fbuild from git)
Required to use	Help2man
Weak prerequisite	g++
Required to use	mCRL2
Required to use	GNU Guile

Entry

"Users" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property."Developers" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.

Property "Submitted by" (as page type) with input value "{{{Submitted by}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. "{{{Submitted date}}}" contains an extrinsic dash or other characters that are invalid for a date interpretation.