Yirmibir / rumur

model checker for the Murphi language

•     Matthew Fernandez
•     matthew.fernandez@gmail.com
•     https://github.com/Smattr/rumur
•     2020.12.20-1
•     rumur_2020.12.20-1_amd64.deb
•     839.4 KiB
•     devel
•     amd64
•      rumur_2020.12.20-1.debian.tar.xz
            rumur_2020.12.20-1.dsc
            rumur_2020.12.20.orig.tar.gz
•     Debian Versiyonu: 2020.12.20-1
•     model checker for the Murphi language

Diğer Pardus sürümlerindeki versiyonlar