kieler / pastaLinks

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

Alternatives and similar repositories for pasta

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

Sorting: