all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: maria  ]

Package: maria (1.3.5-4)

Links for maria

Screenshot

Debian Resources:

Download Source Package maria:

Maintainers:

External Resources:

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::text-mode, role::program, Scope: Utility, Interface Toolkit: Ncurses TUI

Other Packages Related to maria

  • depends
  • recommends
  • suggests
  • enhances

Download maria

Download for all available architectures
Architecture Package Size Installed Size Files
sparc 373.9 kB1,168.0 kB [list of files]