TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool