How to Install and Uninstall mona Package on Kali Linux
Last updated: December 23,2024
1. Install "mona" package
In this section, we are going to explain the necessary steps to install mona on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
mona
Copied
2. Uninstall "mona" package
Please follow the guidance below to uninstall mona on Kali Linux:
$
sudo apt remove
mona
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the mona package on Kali Linux
Package: mona
Source: mona (1.4-18-1)
Version: 1.4-18-1+b1
Installed-Size: 1394
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Recommends: graphviz
Size: 324668
SHA256: a8d0efc2e3c6583cb8b002c9f1008b15cab6d458db3699cae35b8075fcd5e4f1
SHA1: 40ef1a69008eaddf7082310167b69dffcfe82717
MD5sum: 3e9e570072340d1e32001160a4e2bf63
Description: theorem prover based on automata
MONA is a tool that translates formulas in the logics WS1S or WS2S
into finite-state automata represented by BDDs. The formulas may
express search patterns, temporal properties of reactive systems,
parse tree constraints, etc. MONA also analyses the automaton
resulting from the compilation, and determines whether the formula is
valid and, if the formula is not valid, generates a counter-example.
.
Documentation is available from the MONA website http://www.brics.dk/mona/.
Description-md5:
Homepage: https://www.brics.dk/mona/
Tag: field::mathematics, role::program, scope::utility
Section: science
Priority: optional
Filename: pool/main/m/mona/mona_1.4-18-1+b1_amd64.deb
Source: mona (1.4-18-1)
Version: 1.4-18-1+b1
Installed-Size: 1394
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Recommends: graphviz
Size: 324668
SHA256: a8d0efc2e3c6583cb8b002c9f1008b15cab6d458db3699cae35b8075fcd5e4f1
SHA1: 40ef1a69008eaddf7082310167b69dffcfe82717
MD5sum: 3e9e570072340d1e32001160a4e2bf63
Description: theorem prover based on automata
MONA is a tool that translates formulas in the logics WS1S or WS2S
into finite-state automata represented by BDDs. The formulas may
express search patterns, temporal properties of reactive systems,
parse tree constraints, etc. MONA also analyses the automaton
resulting from the compilation, and determines whether the formula is
valid and, if the formula is not valid, generates a counter-example.
.
Documentation is available from the MONA website http://www.brics.dk/mona/.
Description-md5:
Homepage: https://www.brics.dk/mona/
Tag: field::mathematics, role::program, scope::utility
Section: science
Priority: optional
Filename: pool/main/m/mona/mona_1.4-18-1+b1_amd64.deb