Browse Source

fixed brp (pMDP version) to also work with PRISM

Former-commit-id: 930a222a9e
tempestpy_adaptions
dehnert 9 years ago
parent
commit
7997b0596d
  1. 4
      examples/pmdp/brp/brp.pm

4
examples/pmdp/brp/brp.pm

@ -14,8 +14,6 @@ const int MAX;
const double pL;
const double pK;
global T : bool;
module sender
s : [0..6];
@ -104,6 +102,8 @@ module receiver
endmodule
module checker
T : bool init false;
[NewFile] (T=false) -> (T'=false);
[NewFile] (T=false) -> (T'=true);

Loading…
Cancel
Save