/Verified-Safety-Railway-Promela-Spin-Model

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

Primary LanguageHTMLMIT LicenseMIT

No issues in this repository yet.