Package: maria (1.3.5-4.1 and others)

Links for maria

Debian Resources:

Download Source Package maria:

Maintainers:

External Resources:

Homepage [www.tcs.hut.fi]

Similar packages:

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

depends

recommends

suggests

enhances

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]