Yirmibes / rumur

model checker for the Murphi language

•     Matthew Fernandez
•     matthew.fernandez@gmail.com
•     https://github.com/Smattr/rumur
•     2025.02.02-1
•     rumur_2025.02.02-1_amd64.deb
•     1.1 MiB
•     devel
•     amd64
•      rumur_2025.02.02-1.debian.tar.xz
            rumur_2025.02.02-1.dsc
            rumur_2025.02.02.orig.tar.gz
•     Debian Versiyonu: 2025.02.02-1
•     model checker for the Murphi language

Diğer Pardus sürümlerindeki versiyonlar