Debian logoDebian Screenshots >

rumur

model checker for the Murphi language

Description

Sorry - no more information available.


Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

https://github.com/Smattr/rumur


Statistics

310 other people were interested in this package here. The newest known version of this software is 2020.09.06-1 (Information last updated 2 days ago.)