MyNixOS website logo
Description

Toolset for model-checking concurrent systems and protocols.

A formal specification language with an associated toolset, that can be used for modelling, validation and verification of concurrent systems and protocols.

Metadata

Version

202307

License

Maintainers (1)

Executables (55)

Show all
  • bin/besinfo
  • bin/bespp
  • bin/bessolve
  • bin/diagraphica
  • bin/lps2lts
  • bin/lps2pbes
  • bin/lpsactionrename
  • bin/lpsbinary
  • bin/lpsbisim2pbes
  • bin/lpsconfcheck
  • bin/lpsconstelm
  • bin/lpsinfo
  • bin/lpsinvelm
  • bin/lpsparelm
  • bin/lpsparunfold
  • bin/lpspp
  • bin/lpsreach
  • bin/lpsrewr
  • bin/lpssim
  • bin/lpsstategraph
  • bin/lpssumelm
  • bin/lpssuminst
  • bin/lpsuntime
  • bin/lpsxsim
  • bin/lts2lps
  • bin/lts2pbes
  • bin/ltscompare
  • bin/ltsconvert
  • bin/ltsgraph
  • bin/ltsinfo
  • bin/ltspbisim
  • bin/ltspcompare
  • bin/ltsview
  • bin/mcrl2-gui
  • bin/mcrl22lps
  • bin/mcrl2compilerewriter
  • bin/mcrl2i
  • bin/mcrl2ide
  • bin/mcrl2xi
  • bin/pbes2bes
  • bin/pbes2bool
  • bin/pbesconstelm
  • bin/pbesinfo
  • bin/pbesinst
  • bin/pbesparelm
  • bin/pbespgsolve
  • bin/pbespp
  • bin/pbesrewr
  • bin/pbessolve
  • bin/pbessolvesymbolic
  • bin/pbesstategraph
  • bin/tracepp
  • bin/txt2bes
  • bin/txt2lps
  • bin/txt2pbes

Platforms (45)

    Darwin
    FreeBSD
    Linux
    NetBSD
    OpenBSD
    Redox
    Solaris
    Windows
Show all
  • aarch64-darwin
  • aarch64-freebsd
  • aarch64-linux
  • aarch64-netbsd
  • armv5tel-linux
  • armv6l-linux
  • armv6l-netbsd
  • armv7a-darwin
  • armv7a-linux
  • armv7a-netbsd
  • armv7l-linux
  • armv7l-netbsd
  • i686-cygwin
  • i686-darwin
  • i686-freebsd
  • i686-linux
  • i686-netbsd
  • i686-openbsd
  • loongarch64-linux
  • m68k-linux
  • m68k-netbsd
  • microblaze-linux
  • microblazeel-linux
  • mips-linux
  • mips64-linux
  • mips64el-linux
  • mipsel-linux
  • mipsel-netbsd
  • powerpc-netbsd
  • powerpc64-linux
  • powerpc64le-linux
  • riscv32-linux
  • riscv32-netbsd
  • riscv64-linux
  • riscv64-netbsd
  • s390-linux
  • s390x-linux
  • x86_64-cygwin
  • x86_64-darwin
  • x86_64-freebsd
  • x86_64-linux
  • x86_64-netbsd
  • x86_64-openbsd
  • x86_64-redox
  • x86_64-solaris