Language

Package: dezyne @ 2.18.2

Synopsis

Programming language with verifyable formal semantics

Description

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.

Home page
https://dezyne.org
Location
gnu/packages/dezyne.scm (line: 35, column: 2)
Licenses

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/agvcfavwlcccjvlj5izr5v5il5rcfvym-dezyne-2.18.2.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/zh6hf12f8rxw6z53vhavvyacfv1sc4h5-dezyne-2.18.2.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/sa0pf4gj4x2agb5hp7b90s5swpxmrrm2-dezyne-2.18.2.drv
    x86_64-linuxx86_64-linux-gnux32/gnu/store/w131jnd0dyk2mq36qzx42fhc8ki23daf-dezyne-2.18.2.drv
      x86_64-linuxriscv64-linux-gnu/gnu/store/cc3j0w3v4cfhb5g9m73jplr8qzd0v993-dezyne-2.18.2.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/wkkgsnm8brqiamkv0ixwi879mpm32c7l-dezyne-2.18.2.drv
      x86_64-linuxpowerpc64-linux-gnu/gnu/store/khqvf0qk8wz5clc0kcaq878627rm9id5-dezyne-2.18.2.drv
        x86_64-linuxpowerpc64le-linux-gnu/gnu/store/v7dkcb6nbkw5g3w5skg91f1f6mpy06ip-dezyne-2.18.2.drv
        x86_64-linuxor1k-elf/gnu/store/g5mb5ky2cajk23fdikjfimb2bj5jx3v7-dezyne-2.18.2.drv
          x86_64-linuxmips64el-linux-gnu/gnu/store/3lsb2fwififd9031sc63gylfl5b8yd7h-dezyne-2.18.2.drv
          x86_64-linuxi686-w64-mingw32/gnu/store/0jszszlf1scc9ixnh9p26260pv4p5va2-dezyne-2.18.2.drv
          x86_64-linuxi586-pc-gnu/gnu/store/j6bffik3yfp4s7fmq1jlgpxl5q84ba3s-dezyne-2.18.2.drv
          x86_64-linuxavr/gnu/store/hkbgq6zggwzn18xb4laa3x41c7h4dw87-dezyne-2.18.2.drv
            x86_64-linuxarm-linux-gnueabihf/gnu/store/y821hq7w9m8w7q4nqgwxbgs5a92cjbsm-dezyne-2.18.2.drv
            x86_64-linuxaarch64-linux-gnu/gnu/store/sznrx8ci7yry3k7gh7izyqb7xmwj64cw-dezyne-2.18.2.drv
            riscv64-linux/gnu/store/cysx4bm85m8rs1bj7w7i95qwbymhj1s3-dezyne-2.18.2.drv
            powerpc-linux/gnu/store/1xn5zpjnhifz4msabfcl85ksbhgl06lg-dezyne-2.18.2.drv
              powerpc64le-linux/gnu/store/r4n8s6yvmn74hybm4q40dd71f10qc4cn-dezyne-2.18.2.drv
              mips64el-linux/gnu/store/0zamyq3404mxgsmhlmhnzk14ip19sn53-dezyne-2.18.2.drv
                i686-linux/gnu/store/d41q2hd51i6lvq0j3riflpwp8ci0gy0g-dezyne-2.18.2.drv
                i586-gnu/gnu/store/zsqp1n23psh41pl9a7cphx9h31pjfjri-dezyne-2.18.2.drv
                armhf-linux/gnu/store/v5gyl5yv2aqqg0990bgxmkxypr4cm5jg-dezyne-2.18.2.drv
                aarch64-linux/gnu/store/bkgyikabjvl7y5r829c8w5pw8xdliald-dezyne-2.18.2.drv

                Lint warnings

                LinterMessageLocation
                No lint warnings