brlarson / aaspe Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cmu-sei/aaspe
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.