all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: maria  ]

Package: maria (1.3.5-4.1 and others)

Links for maria

Screenshot

Debian Resources:

Download Source Package maria:

Maintainers:

External Resources:

Similar packages:

analisador de acessibilidade para Redes de Sistemas Algébricos

Maria é uma poderosa ferramenta desenhada para ajudar engenheiros na modelagem e resolução de problemas relacionados com a concorrência em sistemas de computação distribuídos em paralelo.

Maria encontra impasses e as violações contra os requisitos de segurança ou "liveness", explorando todos os estados que podem ser alcançados a partir do estado inicial de um sistema. A ferramenta faz a gestão de dezenas ou centenas de milhões de estados alcançáveis e acções permitidas.

O poder expressivo do formalismo de Maria está perto do das linguagens de programação de alto nível, graças à riqueza do seu sistema de tipo de dados e às poderosas operações algébricas.

Tags: Software Development: Testing and QA, Field: Mathematics, User Interface: interface::commandline, interface::text-mode, Role: Program, Scope: Utility, Interface Toolkit: Ncurses TUI

Other Packages Related to maria

  • depends
  • recommends
  • suggests
  • enhances

Download maria

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 1.3.5-4.1+b1 416.1 kB1,254.0 kB [list of files]