murphi2murphi command not found

Introduction

When you run more command in linux terminal / console, you get the following error message

murphi2murphi: command not found

or when using sudo you get the following error message

sudo: murphi2murphi: command not found

Solutions to murphi2murphi: command not found

How To Fix murphi2murphi: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu murphi2murphi is provided by rumur package.

rumur is:

Rumur is a model checker for use in the formal verification of finite state machines specified in the Murphi modelling language. It is based on a previous tool, CMurphi, and attempts to provide an approximate drop-in replacement for CMurphi.

Rumur works by reading an input file describing a collection of state variables and transition rules, from which it generates a C program to verify safety and security properties of this state machine. The generated verifier works by exhaustively exploring the state space, checking for violation of invariants or deadlocks.

In comparison to CMurphi, Rumur generates a verifier that runs significantly faster and uses less memory on large input problems. Rumur comes with an optional wrapper script, rumur-run, that streamlines the process of generating a verifier, compiling it, and then running it. This wrapper requires Python.

To fix this problem, we can install more using the command below.

sudo apt-get -y install rumur

This command might take some time to finish depending on your machine internet connection.

You can also use apt command to install rumur.

sudo apt -y install rumur

Or if you have aptitude installed you can use the following command.

sudo aptitude install rumur

Summary

In this tutorial we learn how to fix murphi2murphi command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.