English German

Jigsaw

Release Notes Dezyne version 2.8.x

  • On the 3rd of July 2018 Dezyne Eclipse plugin/GUI 2.8.0 is released. We’ve also released a new version of the Dezyne command line called Dzn.
    A recap of the most important fixes and improvements;

Blinkboot® UEFI Boot Loader helps Enable more Secure Intel IoT Devices

  • New White Paper! Brought to you by Insyde Software and the Intel IoT Solutions Alliance.

Tips & Tricks for Embedded GUI Design

  • How to create Displays with Seamless Graphics and User-Experience?

    For you to win over your users’ hearts with your next embedded GUI display, outstanding graphics and a seamless user-experience is key! So how do you do create it? We give you some tips and tricks that give you a good start.

MDK supports Microchip SAML10/L11 devices

Increasing the power of Verification

  • Dezyne 2.8.0, "Plus ça change, plus c'est la même chose"

    As the complexity of software systems under development rapidly increases, Dezyne is being used to tackle ever more challenging verification and validation problems. To keep pace with the demand for more powerful verification, Verum has completed the integration of a completely new, game changing verification engine into Dezyne. Based on mCRL2 technology from the Eindhoven University of Technology (TU/e), the new engine already outperforms its predecessor and provides a platform for verifying larger, more complex problems in the future, including functional verification.