mcrl2

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

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 (44)

Darwin

FreeBSD

Linux

NetBSD

OpenBSD

Redox

Solaris

Windows

Show all

aarch64-darwin
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

Version

License

Status

Source

Homepage

Maintainers1 (1)

Executables55 (55)

Platforms44 (44)

Maintainers (1)

Executables (55)

Platforms (44)