model-checking

5Hitze

1Antwort

LTL-Modellprüfung mit Spin und Promela Syntax

Ich versuche ALGOL 60-Code von Dijkstra in der Arbeit mit dem Titel "Kooperierende sequentielle Prozesse" zu reproduzieren, der Code ist der erste Versuch, das Mutex-Problem zu lösen, hier ist die Syn

model-checking spin promela 2013-03-05

---