AASPE software on GitHub

Software OPEN SOURCE

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.
Share - Bookmark