Pakiet: maria (1.3.5-4.1 i inne)

[ Pakiet źródłowy: maria  ]

reachability analyzer for Algebraic System Nets

Maria is a powerful tool designed to aid engineers in modelling and solving concurrency related problems in parallel and distributed computing systems.

Maria finds deadlocks and violations against safety or liveness requirements by exploring all states that can be reached from the initial state of a system. The tool manages tens or hundreds of millions of reachable states and enabled actions.

The expressive power of Maria's formalism is close to high-level programming languages, thanks to its rich data type system and powerful algebraic operations.

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.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]