Binary: pbes2bes

Debian packages that has this binary:

Package: mcrl2

/usr/bin/pbes2bes

Random binary cloud:

abrt-cli-root pilot arecord ansible-playbook objdump euscale-delete-notification-configuration fvwm-config asi18n mpitests-IMB-EXT mpirun.args smTestDriver_openmpi epsilon.x_mpich csh tomcat-jsvc nqs2pbs bp_remote_blast daemon debci-list-packages flvmeta h8300-hms-gcc docbook2gjots jstest-gtk nopaste aria_read_log opencc nodecachefilereader tntlogin rotter hackbench slon_watchdog