Package: rumur (2024.05.07-1)
Links for rumur
Debian Resources:
Download Source Package rumur:
Maintainer:
External Resources:
- Homepage [github.com]
Similar packages:
Modeltjekker for sproget Murphi
Rumur et en modeltjekker for brug i den formelle verifikation af finitte tilstandsmaskiner angivet i Murphi-modelopbygningssproget. Er baseret på et tidligere værktøj, CMurphi, og forsøger at tilbyder en tilnærmelsesvis direkte erstatning for CMurphi.
Rumur fungerer ved at læse en fil, der beskriver en samling af tilstandsvariabler og overgangsregler, hvorfra programmet opretter et C-program for at verificere sikkerhed og sikkerhedsegenskaber for denne tilstandsmaskine. Det oprettede verifikationsprogram fungerer ved udtømmende udforskning af tilstandsrummet, tjekkende for overtrædelse af invarianter eller låsninger.
Sammenlignet med CMurphi så opretter Rumur et verifikationsprogram, der afvikles signifikant hurtigere og bruger mindre hukommelse ved store inddataproblemer. Rumur har et valgfrit omslagsskript, rumur-run, der strømliner processen med at oprette et verifikationsprogram, kompilere det og så afvikle det. Dette omslag kræver Python.
Other Packages Related to rumur
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC støttebibliotek
-
- dep: libgmp10 (>= 2:6.3.0 dfsg)
- Bibliotek til multipræcision i aritmetik
-
- dep: libgmpxx4ldbl (>= 2:6.3.0 dfsg)
- Flerpræcisions aritmetisk bibliotek (C -bindinger)
-
- dep: libstdc 6 (>= 13.1)
- GNU Standard C bibliotek v3
Download rumur
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| s390x | 871.8 kB | 6,977.0 kB | [list of files] |