Lab2 Problem 2

[A Krause]

Hallo,

Darf man lokale Variablen der Prozesse zu global ändern um LTLs über diese zu bauen? Oder gibt es eine Möglichkeit in LTLs auf lokale Variablen zu zugreifen?

[Minker]

Das ist nicht nötig. Es gibt eine Notation, mit der man lokale Variablen verwenden kann.

[Nathan Wasser]

Es gibt zwar eine Möglichkeit direkt auf lokale Variablen zuzugreifen, ihr dürft aber auch die Variablen global machen. (Ist nun explizit auf der Webseite des Labs angegeben.)

[mir]

Hallo,

Gilt auch für Problem 2.3, dass man Variabeln für die dort geforderte LTL Eigenschaft von lokal auf global verändern darf?

[Nathan Wasser]

Ja.

[AnnaW]

Können wir auch Labels und boolsche Variablen anlegen um das Problem zu lösen? Ich bin mir da gerade nicht sicher, ob das die Aufgabenstellung ausschließt...

[Nathan Wasser]

Können wir auch Labels und boolsche Variablen anlegen um das Problem zu lösen? Ich bin mir da gerade nicht sicher, ob das die Aufgabenstellung ausschließt...

Sollte nicht nötig sein.