PASTA Examples

Contains several files that demonstrate the use of PASTA and its features

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
controlStructure		controlStructure
reports		reports
safecomp25		safecomp25
sbm-generation		sbm-generation
stpa-to-fta		stpa-to-fta
stpa		stpa
.devcontainer.json		.devcontainer.json
.gitpod.yml		.gitpod.yml
README.md		README.md

Provide feedback