How to Install and Uninstall rumur Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 15,2024

1. Install "rumur" package

This guide let you learn how to install rumur on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                rumur
            
                    
    
    Copied

2. Uninstall "rumur" package

Please follow the steps below to uninstall rumur on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                rumur
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the rumur package on Ubuntu 21.10 (Impish Indri)

Package: rumur
Architecture: amd64
Version: 2020.12.20-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Matthew Fernandez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5933
Depends: libc6 (>= 2.15), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 9)
Suggests: python3 (>= 3.6)
Filename: pool/universe/r/rumur/rumur_2020.12.20-1_amd64.deb
Size: 839644
MD5sum: a58668db2bdcfc59fd3959db41bc526c
SHA1: 081af937ea552a984668a0cb6dec4fb2aa4e454a
SHA256: 121924b8312c47ef5d41d744232fe3d72594489a019d6444460e15a8231b419c
SHA512: 76977e134e6346469ed21b2e811d17f42192de5fbee63fd8ae168065ac0ec8a3b8841330d329eb78b75e250d0793cd0415a7de1d047f85469e70a304b5e8a877
Homepage: https://github.com/Smattr/rumur
Description-en: model checker for the Murphi language
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.
Description-md5: 40129f0478a9f84f22c5aaa201b1917a