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