TGC example for BDD

2019-09-22 18:26:42 +01:00
parent acc4998613
commit 835c7b898c
1 changed files with 1 additions and 0 deletions
--- a/reactics-bdd/in/tgc.rs
+++ b/reactics-bdd/in/tgc.rs
@@ -46,3 +46,4 @@ context-automaton {
 rsctlk-property { f1 : EF( proc0.in ) AND EF( proc1.in ) AND EF( proc2.in ) }

 rsctlk-property { f2 : AG( proc0.in IMPLIES K[proc0](~proc1.in AND ~proc2.in) ) }
+