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 7 public repositories matching this topic...
Nova Intelligent Copilot A safety-focused, offline-first RAG copilot with hallucination mitigation and evaluation tooling.
-
Updated
Feb 3, 2026 - HTML
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
🔍 Implement safe and reliable binary search functions for safety-critical systems, ensuring defined behavior and strict compliance with C11 standards.
algorithm verification embedded-systems ascii-art fuzzing c11 binary-search systems-programming safety-critical flight-software mission-critical educational-resource no-malloc
-
Updated
Feb 6, 2026 - HTML
Collecting Various cheatsheets related to Embedded Systems, software and Embedded Linux
-
Updated
Jan 22, 2026 - 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."