TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.
-
Updated
Apr 10, 2024 - HTML
#
safety-critical
Here are 4 public repositories matching this topic...
A web application designed to enhance campus safety by providing a dedicated SOS page for both boys and girls, allowing users to quickly report emergencies. Built with Django, this application aims to improve awareness and response to safety concerns on campus.
-
Updated
Sep 25, 2024 - HTML
-
Updated
Sep 15, 2025 - HTML
SafeSpace (Web Application that checks if a website is kid-friendly)
-
Updated
Dec 18, 2020 - HTML
Improve this page
Add a description, image, and links to the safety-critical topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the safety-critical topic, visit your repo's landing page and select "manage topics."