Package: maria (1.3.5-4.1 and others)

[ Source: maria  ]

tilgængelighedsanalyseprogram for Algebraic System Nets

Maria er et funktionsrigt værktøj designet til at hjælpe ingeniører med at modellere og løse relaterede problemer vedrørende samtidighed i parallelle og distribuerede computersystemer.

Maria finder døde ender og overtrædelser mod sikkerhed eller oppetidskrav ved at undersøge alle tilstande som kan nås fra den oprindelige tilstand for et system. Værktøjet håndterer ti eller hundredvis af millioner af tilgængelige tilstande og aktiverede handlinger.

Den imponerende kraft i Marias formalisme er tæt på programmeringssprog på højt niveau, takket være sit rige datatypesystem og funktionsrige algebraiske udregninger.

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

• dep: libc6 (>= 2.3.4)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:3.0)

  Package not available

• dep: libncurses6 (>= 6)

  delte biblioteker til terminalhåndtering

• dep: libreadline8 (>= 6.0)

  GNU bibliotekerne readline og history - kørselstid

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

  GNU Standard C++ bibliotek v3

• dep: libtinfo6 (>= 6)

  delt terminfo-bibliotek på lavt niveau for terminalhåndtering

• rec: graphviz

  Rigt sæt af graftegneværktøjer

• rec: lbt

  konverterer fra LTL-formler til Büchi-automata

• rec: maria-doc

  dokumentation for Maria

Download maria

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
mips64el	1.3.5-4.1+b2	326.2 kB	1,369.0 kB	[list of files]