Pakiet: maria (1.3.5-4.1 i inne)

Odnośniki dla maria

Zasoby systemu Debian:

Pobieranie pakietu źródłowego maria:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.tcs.hut.fi]

Podobne pakiety:

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.

Znaczniki: Rozwój oprogramowania: Testowanie i kontrola jakości, Dziedzina: Matematyka, Interfejs użytkownika: interface::commandline, interface::text-mode, Rola: Program, Zakres: Narzędzie, Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z maria

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.14) [amd64]

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

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.3.4) [i386]

dep: libc6 (>= 2.4) [armhf]
dep: libgcc1 (>= 1:3.0) [nie armhf]

Biblioteka wspomagająca GCC

dep: libgcc1 (>= 1:3.5) [armhf]
dep: libncurses6 (>= 6)

Biblioteki współdzielone przeznaczone do obsługi terminala
dep: libreadline7 (>= 6.0)

Biblioteki GNU readline i history, wersje uruchomieniowe
dep: libstdc++6 (>= 4.6)

Standardowa biblioteka GNU C++, wersja 3
dep: libtinfo6 (>= 6)

Współdzielona, niskopoziomowa biblioteka terminfo do obsługi terminala

rec: graphviz

rich set of graph drawing tools
rec: lbt

converts from LTL formulas to Büchi automata
rec: maria-doc

documentation of Maria

Pobieranie maria

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.3.5-4.1+b1	416,1 KiB	1 254,0 KiB	[lista plików]
arm64	1.3.5-4.1+b1	337,7 KiB	1 149,0 KiB	[lista plików]
armhf	1.3.5-4.1+b1	343,4 KiB	817,0 KiB	[lista plików]
i386	1.3.5-4.1+b1	441,2 KiB	1 484,0 KiB	[lista plików]