maria
reachability analyzer for Algebraic System Nets
Command lineScience
Not tested on a device yet. What that means
Commands in the package
mariamaria-csomaria-vis
About maria
From Debian's package description
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.
From Debian's description of the maria package, under that package's license.
Dependencies
Depends on
libc6libreadline8t64libstdc++6
Recommends
Related apps
- surf-alggeo-noxvisualization of real algebraic geometry -- no X supportCommand line
- macaulay2Software system for algebraic geometry researchCommand line
- riesfind algebraic equations, given their solutionCommand line
- jsurf-alggeoJava based visualization library for real algebraic geometryCommand line
- travistrajectory analyzer and visualizerCommand line
- pirsProfile based Illumina pair-end Reads SimulatorCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the maria package, under that package's license.
- Description: Debian's description of the maria package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.