cmu-sei / AASPELinks

A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform from AADL models.
16Updated 6 years ago

Alternatives and similar repositories for AASPE

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

Sorting: