Yirmiuc / rumur

model checker for the Murphi language

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

Diğer Pardus sürümlerindeki versiyonlar