Pakiet: maria (1.3.5-6) [debports]

[ Pakiet źródłowy:  ]

Analizator osiągalności dla sieci systemów algebraicznych

Maria to potężne narzędzie zaprojektowane, aby pomóc inżynierom w modelowaniu i rozwiązywaniu problemów związanych ze współbieżnością w równoległych i rozproszonych systemach komputerowych.

Maria znajduje zakleszczenia i naruszenia wymagań bezpieczeństwa lub trwałości, badając wszystkie stany, do których można dotrzeć ze stanu początkowego systemu. Narzędzie zarządza dziesiątkami lub setkami milionów osiągalnych stanów i włączonych akcji.

Siła wyrazu formalizmu programu Maria jest bliska językom programowania wysokiego poziomu, dzięki bogatemu systemowi typów danych i potężnym operacjom algebraicznym.

Inne pakiety związane z maria

• dep: libc6.1 (>= 2.38)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6.1-udeb

• dep: libreadline8t64 (>= 6.0)

  Biblioteki GNU readline i history, wersje uruchomieniowe

• dep: libstdc++6 (>= 4.6)

  Standardowa biblioteka GNU C++, wersja 3

• rec: graphviz

  rich set of graph drawing tools

• rec: lbt

  Konwertowanie formuł LTL na automaty Büchiego

• rec: maria-doc

  documentation of Maria

Pobieranie maria

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	342,6 KiB	1 396,0 KiB	[lista plików]