download.verum.comhttps://download.verum.com/feed.xmlRecent Posts2024-03-04T17:17:17ZVerum-Dezyne 2.18.1 releasedhttps://download.verum.com/verum-dezyne-2.18.1-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2024-03-04T16:00:00Z<p>Verum-Dezyne 2.18.1 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.18.1-x86_64-linux.tar.gz">verum-dezyne-2.18.1-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.18.1-x86_64-windows.zip">verum-dezyne-2.18.1-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.18.1 since 2.17.8</h3><ul><li><p>Views</p><ul><li>The system layout has been improved.</li></ul></li><li><p>Noteworthy bug fixes</p><ul><li><p>The <code>system' command now actually accepts</code>--wfc`.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.18.1-released.html">Dezyne core release 2.18.1</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/verum-dezyne-2.18.0-released.html">Verum-Dezyne release 2.18.0</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.9 releasedhttps://download.verum.com/verum-dezyne-2.17.9-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2024-03-04T14:00:00Z<p>Verum-Dezyne 2.17.9 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.9-x86_64-linux.tar.gz">verum-dezyne-2.17.9-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.9-x86_64-windows.zip">verum-dezyne-2.17.9-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.9 since 2.17.8</h3><ul><li><p>Noteworthy bug fixes</p><ul><li><p>The <code>system' command now actually accepts</code>--wfc`.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.8-released.html">Dezyne core release 2.17.8</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/verum-dezyne-2.17.7-released.html">Verum-Dezyne release 2.17.7</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.18.0 releasedhttps://download.verum.com/verum-dezyne-2.18.0-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2023-12-15T12:00:00Z<p>We are happy to announce Dezyne 2.18 which introduces shared interface
state.</p><p>The documentation is available here:
<a href="https://download.verum.com/documentation.html">https://download.verum.com/documentation.html</a>.</p><p>See also the <a href="https://download.verum.com/documentation.html">Verum-Dezyne documentation</a>.</p><p>We will evaluate your reports and track them via the <a href="https://gitlab.com/groups/dezyne/-/issues">Gitlab
dezyne-issues project</a>, see our <a href="https://dezyne.org/bugreport">guide to writing helpful bug reports</a>.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.18.0-x86_64-linux.tar.gz">verum-dezyne-2.18.0-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.18.0-x86_64-windows.zip">verum-dezyne-2.18.0-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.18.0 since 2.17.3</h3><ul><li><p>Verification</p><ul><li>The <code>ide verify</code> command now has a new option <code>--no-interfaces</code>
to disable the verification of a component's interfaces.</li></ul></li><li><p>Noteworthy bug fixes</p><ul><li><p>In the state diagram, two bugs were fixed with respect to the prefix
used in "Choice states".</p></li><li><p>The ill-advised practice of installing software in a prefix that
contains a space, is now also supported by the Windows CMD wrapper
scripts.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.18.0-released.html">Dezyne core release 2.18.0</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/verum-dezyne-2.17.3-released.html">Verum-Dezyne release 2.17.3</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.8 releasedhttps://download.verum.com/verum-dezyne-2.17.8-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-11-08T16:00:00Z<p>Verum-Dezyne 2.17.8 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.8-x86_64-linux.tar.gz">verum-dezyne-2.17.8-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.8-x86_64-windows.zip">verum-dezyne-2.17.8-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.8 since 2.17.7</h3><p>No changes.</p><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.8-released.html">Dezyne core release 2.17.8</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/verum-dezyne-2.17.7-released.html">Verum-Dezyne release 2.17.7</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.7 releasedhttps://download.verum.com/verum-dezyne-2.17.7-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-10-30T10:00:00Z<p>Verum-Dezyne 2.17.7 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.7-x86_64-linux.tar.gz">verum-dezyne-2.17.7-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.7-x86_64-windows.zip">verum-dezyne-2.17.7-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.7 since 2.17.6</h3><p>No changes.</p><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.7-released.html">Dezyne core release 2.17.7</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/verum-dezyne-2.17.6-released.html">Verum-Dezyne release 2.17.6</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.6 releasedhttps://download.verum.com/verum-dezyne-2.17.6-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-09-08T22:00:00Z<p>Verum-Dezyne 2.17.6 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.6-x86_64-linux.tar.gz">verum-dezyne-2.17.6-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.6-x86_64-windows.zip">verum-dezyne-2.17.6-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.6 since 2.17.5</h3><p>No changes.</p><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.6-released.html">Dezyne core release 2.17.6</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/verum-dezyne-2.17.5-released.html">Verum-Dezyne release 2.17.5</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.16.5 releasedhttps://download.verum.com/verum-dezyne-2.16.5-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-09-08T21:00:00Z<p>Verum-Dezyne 2.16.5 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.5-x86_64-linux.tar.gz">verum-dezyne-2.16.5-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.5-x86_64-windows.zip">verum-dezyne-2.16.5-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.16.5 since 2.16.4</h3><p>No changes.</p><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.16.5-released.html">Dezyne core release 2.16.5</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/verum-dezyne-2.16.4-released.html">Verum-Dezyne release 2.16.4</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Dezyne-IDE 2.15.5 releasedhttps://download.verum.com/dezyne-ide-2.15.5-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-09-08T20:00:00Z<p>Dezyne-IDE 2.15.5 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/dezyne-ide/dezyne-ide-2.15.5-x86_64-linux.tar.gz">dezyne-ide-2.15.5-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/dezyne-ide/dezyne-ide-2.15.5-x86_64-windows.zip">dezyne-ide-2.15.5-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.15.5 since 2.15.4</h3><p>No changes.</p><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.15.5-released.html">Dezyne core release 2.15.5</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/dezyne-ide-2.15.4-released.html">Dezyne-IDE release 2.15.4</a>.</p><h4>About Dezyne-IDE</h4><p>Dezyne-IDE is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Dezyne-IDE is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Dezyne-IDE, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Dezyne-IDE 2.14.1 releasedhttps://download.verum.com/dezyne-ide-2.14.1-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-09-08T19:00:00Z<p>Dezyne-IDE 2.14.1 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/dezyne-ide/dezyne-ide-2.14.1-x86_64-linux.tar.gz">dezyne-ide-2.14.1-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/dezyne-ide/dezyne-ide-2.14.1-x86_64-windows.zip">dezyne-ide-2.14.1-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.14.1 since 2.14.0</h3><p>No changes.</p><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.14.1-released.html">Dezyne core release 2.14.1</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/dezyne-ide-2.14.0-released.html">Dezyne-IDE release 2.14.0</a>.</p><h4>About Dezyne-IDE</h4><p>Dezyne-IDE is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Dezyne-IDE is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Dezyne-IDE, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.5 releasedhttps://download.verum.com/verum-dezyne-2.17.5-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-08-11T18:00:00Z<p>Verum-Dezyne 2.17.5 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.5-x86_64-linux.tar.gz">verum-dezyne-2.17.5-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.5-x86_64-windows.zip">verum-dezyne-2.17.5-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.5 since 2.17.4</h3><p>No changes.</p><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.5-released.html">Dezyne core release 2.17.5</a>.</p><p>For changes in the previous release see <a href="http://download.verum.com/verum-dezyne-2.17.4-released.html">Verum-Dezyne release 2.17.4</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.4 releasedhttps://download.verum.com/verum-dezyne-2.17.4-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-08-03T14:00:00Z<p>Verum-Dezyne 2.17.4 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.4-x86_64-linux.tar.gz">verum-dezyne-2.17.4-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.4-x86_64-windows.zip">verum-dezyne-2.17.4-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.4 since 2.17.3</h3><ul><li><p>Noteworthy bug fixes</p><ul><li><p>The ill-advised practice of installing software in a prefix that
contains a space, is now also supported by the Windows CMD wrapper
scripts.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.4-released.html">Dezyne core release 2.17.4</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.3 releasedhttps://download.verum.com/verum-dezyne-2.17.3-released.htmlRutger van Beusekom, Janneke Nieuwenhuizenbert.de.jonge@verum.com2023-06-28T12:00:00Z<p>Verum-Dezyne 2.17.3 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.3-x86_64-linux.tar.gz">verum-dezyne-2.17.3-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.3-x86_64-windows.zip">verum-dezyne-2.17.3-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.3 since 2.17.2</h3><ul><li><p>Verification</p><ul><li>The <code>ide verify</code> command now has a new option <code>-U,--no-unreachable</code>
to disable the unreachable code check.</li></ul></li><li><p>Pre-built binaries</p><ul><li><p>The binary zip files for Windows now come without Scheme source
files by default; sources are available in the `-debug' variants.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.3-released.html">Dezyne core release 2.17.3</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.2 releasedhttps://download.verum.com/verum-dezyne-2.17.2-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2023-04-24T17:00:00Z<p>Verum-Dezyne 2.17.2 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.2-x86_64-linux.tar.gz">verum-dezyne-2.17.2-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.2-x86_64-windows.zip">verum-dezyne-2.17.2-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.2 since 2.17.1</h3><ul><li><p>Commands</p><ul><li>The different queue sizes: component, defer, external can now be set
individually using <code>--queue-size</code>, <code>--queue-defer</code> and
<code>--queue-size-external</code>. The defaults are respectively: 3, 2 and 1.</li><li>The <code>ide verify</code> command now has a new option <code>-C,--no-constraint</code>
to disable the constraining of a component's behavior.</li></ul></li><li><p>Daemon</p><ul><li>The deamon will exit when addressed by an ide client of a different
version.</li></ul></li><li><p>Noteworthy bug fixes</p><ul><li><p>The width of the header in the trace diagram now uses the correct
display size of eligibles.</p></li><li><p>The <code>ide verify</code> command now exits gracefully when no dezyne model
is found.</p></li><li><p>The error reporting of the <code>ide lsp</code> daemon shows better errors
and is less noisy.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.2-released.html">Dezyne core release 2.17.2</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.16.4 releasedhttps://download.verum.com/verum-dezyne-2.16.4-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2023-04-24T16:00:00Z<p>Verum-Dezyne 2.16.4 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.4-x86_64-linux.tar.gz">verum-dezyne-2.16.4-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.4-x86_64-windows.zip">verum-dezyne-2.16.4-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.16.4 since 2.16.3</h3><ul><li><p>Daemon</p><ul><li>The deamon will exit when addressed by an ide client of a different
version.</li></ul></li><li><p>Commands</p><ul><li>The different queue sizes: component, defer, external can now be set
individually using <code>--queue-size</code>, <code>--queue-defer</code> and
<code>--queue-size-external</code>. The defaults are respectively: 3, 2 and 1.</li></ul></li><li><p>Noteworthy bug fixes</p><ul><li><p>The <code>ide verify</code> command now exits gracefully when no dezyne model
is found.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.16.4-released.html">Dezyne core release 2.16.4</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.1 releasedhttps://download.verum.com/verum-dezyne-2.17.1-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2023-01-27T20:00:00Z<p>Verum-Dezyne 2.17.1 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.1-x86_64-linux.tar.gz">verum-dezyne-2.17.1-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.1-x86_64-windows.zip">verum-dezyne-2.17.1-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.1 since 2.16.3</h3><p>No changes in Verum-Dezyne.</p><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.1-released.html">Dezyne core release 2.17.1</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.17.0 releasedhttps://download.verum.com/verum-dezyne-2.17.0-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2023-01-23T14:00:00Z<p>We are happy to announce Verum Dezyne 2.17 which introduces implicit
interface constraints, and more.</p><p>The documentation is available here:
<a href="https://download.verum.com/documentation.html">https://download.verum.com/documentation.html</a>.</p><p>See also the <a href="https://download.verum.com/documentation.html">Verum-Dezyne documentation</a>.</p><p>We will evaluate your reports and track them via the <a href="https://gitlab.com/groups/dezyne/-/issues">Gitlab
dezyne-issues project</a>, see our <a href="https://dezyne.org/bugreport">guide to writing helpful bug reports</a>.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.0-x86_64-linux.tar.gz">verum-dezyne-2.17.0-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.17.0-x86_64-windows.zip">verum-dezyne-2.17.0-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.17.0 since 2.16.3</h3><ul><li><p>Views</p><ul><li><p>The system view now shows also shows instance names. The old
behavior can be toggled with <code>i</code>.</p></li><li><p>The highlights in the system view are reset after reloading.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.17.0-released.html">Dezyne core release 2.17.0</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.16.3 releasedhttps://download.verum.com/verum-dezyne-2.16.3-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2023-01-13T14:00:00Z<p>Verum-Dezyne 2.16.3 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.3-x86_64-linux.tar.gz">verum-dezyne-2.16.3-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.3-x86_64-windows.zip">verum-dezyne-2.16.3-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.16.3 since 2.16.2</h3><ul><li><p>Noteworthy bug fixes</p><ul><li><p>Simulation of an interface with a subint event type now works
correctly.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.16.3-released.html">Dezyne core release 2.16.3</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.16.2 releasedhttps://download.verum.com/verum-dezyne-2.16.2-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2022-10-17T10:00:00Z<p>Verum-Dezyne 2.16.2 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.2-x86_64-linux.tar.gz">verum-dezyne-2.16.2-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.2-x86_64-windows.zip">verum-dezyne-2.16.2-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.16.2 since 2.16.1</h3><ul><li><p>Views</p><ul><li>The system view now also shows for some incomplete systems.</li></ul></li><li><p>Noteworthy bug fixes</p><ul><li><p>A regression in 2.16.0 was fixed that would show injected ports as
regular, unbound ports.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.16.2-released.html">Dezyne core release 2.16.2</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.16.1 releasedhttps://download.verum.com/verum-dezyne-2.16.1-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2022-09-13T16:00:00Z<p>Verum-Dezyne 2.16.1 is a bug-fix release.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.1-x86_64-linux.tar.gz">verum-dezyne-2.16.1-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.1-x86_64-windows.zip">verum-dezyne-2.16.1-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.16.1 since 2.15.4</h3><ul><li><p>Noteworthy bug fixes</p><ul><li><p>The documentation link at http://localhost:3000 has been fixed.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.16.1-released.html">Dezyne core release 2.16.1</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>Verum-Dezyne 2.16.0 releasedhttps://download.verum.com/verum-dezyne-2.16.0-released.htmlRutger van Beusekom, Jan (janneke) Nieuwenhuizenbert.de.jonge@verum.com2022-08-18T16:00:00Z<p>We are happy to announce Verum-Dezyne 2.16 which introduces the
<code>defer</code> keyword: A new language concept for implementing an
asynchronous interface. With defer, the basic semantics are complete.</p><p>Defer replaces dzn.async ports feature that cannot be used in systems
collateral blocking. The use of dzn.async ports is now deprecated.</p><p>Also new in this release: Cleanups to the code generators and model to
model transformations.</p><p>See also the <a href="https://download.verum.com/documentation.html">Verum-Dezyne
documentation</a>.</p><p>We will evaluate your reports and track them via the
<a href="https://gitlab.com/groups/dezyne/-/issues">Gitlab dezyne-issues
project</a>, see our <a href="https://dezyne.org/bugreport">guide to writing
helpful bug reports</a>.</p><p>Enjoy!<br />The Verum Team.</p><h1>Download</h1><p>Here are the binary downloads:<br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.0-x86_64-linux.tar.gz">verum-dezyne-2.16.0-x86_64-linux.tar.gz</a><br /><a href="https://download.verum.com/download/verum-dezyne/verum-dezyne-2.16.0-x86_64-windows.zip">verum-dezyne-2.16.0-x86_64-windows.zip</a></p><h1>NEWS</h1><h3>Changes in 2.16.0 since 2.15.4</h3><ul><li><p>Build</p><ul><li><p>Verum's Dezyne-IDE package has been rebranded as Verum-Dezyne.</p></li></ul></li></ul><p>For changes in the Dezyne core see <a href="http://dezyne.org/dezyne-2.16.0-released.html">Dezyne core release 2.16.0</a>.</p><h4>About Verum-Dezyne</h4><p>Verum-Dezyne is the commercial Integrated Dezyne Environment (IDE) by
<a href="https://verum.com">Verum</a>, created especially for the demanding, or
the professional Dezyne developer. It is built around the <a href="https://dezyne.org">FLOSS
command-line version of Dezyne</a>: While
Verum-Dezyne is a must for any productive developer, it is "only" a
convenience; because all core dezyne tools are free and open source
software, there is never any chance of vendor lock-in. Also, by
buying Verum-Dezyne, you get support on Dezyne and are sponsoring the
development of the Dezyne command-line tools.</p><h4>About Dezyne</h4><p>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.</p><p>The Dezyne language has formal semantics expressed in
<a href="https://mcrl2.org">mCRL2</a> developed at the department of Mathematics
and Computer Science of the Eindhoven University of Technology
(<a href="https://tue.nl">TUE</a>). 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
builtin verification through model checking. This allows the
construction of complex systems by assembling independently verified
components.</p><p>Dezyne is free software, it is distributed under the terms of the <a href="https://www.gnu.org/licenses/#AGPL">GNU
Affero General Public Licence</a>
version 3 or later.</p><h4>About Verum</h4><p><a href="https://verum.com">Verum</a>, the organization behind the Dezyne
language, is committed to continuing to invest in the language for the
benefit of all its users. Verum assists its customers and partners in
solving the software challenges of today and tomorrow, by offering
expert consultancy on the application of the Dezyne language and the
development and use of its tools, as well as on Verum's commercial
tools like IDE support based on the LSP (Language Server Protocol),
interactive integrated graphics, interactive simulation, (custom) code
generation and (custom) runtime library support.</p>