kieler / pasta

VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.
20Updated last month

Alternatives and similar repositories for pasta:

Users that are interested in pasta are comparing it to the libraries listed below