https://www.absint.com/
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
safety critical software
https://www.linux.com/news/sboms-supporting-safety-critical-software/
SBOMs Supporting Safety Critical Software - Linux.com
Jul 18, 2024 - A software bill of materials (SBOM) is a way of summarizing key facts about the software on a system, so it provides full transparency about it provides full...
safety critical softwaresboms