rimbendhaou / aadlib Goto Github PK

     ___    ___    ____  __    _ __  
    /   |  /   |  / __ \/ /   (_) /_ 
   / /| | / /| | / / / / /   / / __ \
  / ___ |/ ___ |/ /_/ / /___/ / /_/ /
 /_/  |_/_/  |_/_____/_____/_/_.___/ 

AADLib - A library of AADL components
=====================================

AADLib is a library of reusable AADLv2 components, associated property
sets and validation theorems based on REAL. It has been defined to
work properly with Ocarina, AADL-Inspector and OSATE2.

Here is a quick overview of the distribution

- INSTALL   : build and installation requirements
- NEWS      : release information
- README    : this file
- examples/ : some examples built on the AADLib library of components,
              see examples/README for more details
- src/      : AADLv2 models, property sets and REAL theorems
- support/  : files used for packaging the distribution