DELTA 503088 511 232 SVN  ]6NrumurENDREP DELTA SVNd ddx^uK0֯L4vҖBC]FGr(Qb?$ !lHWG;p9ԛ4B! 7/PG/ɫm,9fE)`jM*BDT/ƹq(۲+L|9uk2WkzR&/+2 @@\QxgK;y{Ad^k^dn1 kˮ9E4OYUZ +V㎟]aE؜(q7`RIň5+<|6Js nڝ$8Z&n^p6ِ %4&ߡfB(ïݤ |{r bjFl-CAUoJ +nt7.  XRG=WU_:AFqKRLZ/_\nrO >>?0GSd-~Bnc'~UENDREP DELTA SVN;=;;TIMESTAMP = 1559525331 SHA256 (Smattr-rumur-v2019.06.01_GH0.tar.gz) = 37477cb1130c556132d212cc41e61f765c0ea16b95d7170b010f33b9c5e9b1bc SIZE (Smattr-rumur-v2019.06.01_GH0.tar.gz) = 168369 ENDREP DELTA SVN$&$$Rumur is a model checker, a formal verification tool for proving safety and security properties of systems represented as state machines. It is based on a previous tool, CMurphi, and intended to be close to a drop-in replacement. Rumur takes the same input format as CMurphi, the Murphi modelling language, with some extensions and generates a C program that implements a verifier. WWW: https://github.com/Smattr/rumur ENDREP DELTA SVNSbSSx^mn E/I_C¾~iJS̃:/Ƨk