How to Install and Uninstall rumur Package on Kali Linux

Last updated: November 22,2024

1. Install "rumur" package

Please follow the step by step instructions below to install rumur on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                rumur
            
                    
    
    Copied

2. Uninstall "rumur" package

Learn how to uninstall rumur on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                rumur
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the rumur package on Kali Linux

Package: rumur
Version: 2023.11.27-1
Installed-Size: 6737
Maintainer: Matthew Fernandez
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1)
Suggests: python3
Size: 979456
SHA256: 7d4c6a4e8928b59835917753dadae4f5512d1b17beafbadf8f369777d1a0b80c
SHA1: fb34d1d47c779dba89068c2a56070a23f6ac4bac
MD5sum: d5534c1e6d41ef56a3878f19cb070202
Description: 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:
Homepage: https://github.com/Smattr/rumur
Section: devel
Priority: optional
Filename: pool/main/r/rumur/rumur_2023.11.27-1_amd64.deb