all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: mona  ]

Package: mona (1.4-18-1 and others)

Links for mona

Screenshot

Debian Resources:

Download Source Package mona:

Maintainers:

External Resources:

Similar packages:

dimostratore di teoremi basato su automi

MONA è uno strumento che traduce formule dalle logiche WS1S o WS2S in automi a stati finiti rappresentati da BDD. Le formule possono esprimere schemi di ricerca, proprietà temporali di sistemi reattivi, vincoli di alberi sintattici, ecc. MONA analizza anche l'automa risultante dalla compilazione e determina se la formula è valida e, in caso contrario, genera un controesempio.

La documentazione è disponibile sul sito di MONA: http://www.brics.dk/mona/.

Tags: Field: Mathematics, Role: Program, Scope: Utility

Other Packages Related to mona

  • depends
  • recommends
  • suggests
  • enhances

Download mona

Download for all available architectures
Architecture Version Package Size Installed Size Files
i386 1.4-18-1+b1 326.8 kB1,362.0 kB [list of files]