Pakiet: maria (1.3.5-6 i inne)

[ Pakiet źródłowy: maria  ]

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

• dep: libc6 (>= 2.38) [nie alpha, ia64, sh4]

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

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.37) [ia64]

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

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libgcc-s1 (>= 3.5) [armel, armhf]

  Biblioteka wspomagająca GCC

  dep: libgcc-s1 (>= 4.2) [ia64]

  dep: libgcc-s1 (>= 4.3) [riscv64]

• 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	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	1.3.5-6	342,6 KiB	1 396,0 KiB	[lista plików]
amd64	1.3.5-6	361,6 KiB	1 134,0 KiB	[lista plików]
arm64	1.3.5-6	321,6 KiB	1 202,0 KiB	[lista plików]
armel	1.3.5-6	285,8 KiB	997,0 KiB	[lista plików]
armhf	1.3.5-6	295,5 KiB	757,0 KiB	[lista plików]
hppa (port nieoficjalny)	1.3.5-6	310,7 KiB	1 057,0 KiB	[lista plików]
i386	1.3.5-6	383,5 KiB	1 301,0 KiB	[lista plików]
ia64 (port nieoficjalny)	1.3.5-4.2+b1	445,0 KiB	2 446,0 KiB	[lista plików]
m68k (port nieoficjalny)	1.3.5-6	303,6 KiB	1 073,0 KiB	[lista plików]
mips64el	1.3.5-6	311,1 KiB	1 351,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.3.5-6	366,2 KiB	1 650,0 KiB	[lista plików]
ppc64el	1.3.5-6	368,4 KiB	1 458,0 KiB	[lista plików]
riscv64	1.3.5-6	359,6 KiB	974,0 KiB	[lista plików]
s390x	1.3.5-6	367,0 KiB	1 254,0 KiB	[lista plików]
sh4 (port nieoficjalny)	1.3.5-6	359,8 KiB	946,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	1.3.5-6	278,3 KiB	1 205,0 KiB	[lista plików]
x32 (port nieoficjalny)	1.3.5-6	365,8 KiB	1 109,0 KiB	[lista plików]