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.
19Updated this week

Related projects

Alternatives and complementary repositories for pasta