ADT2AMAS

Tool for transforming Attack-Defense Trees (ADTrees) into Asynchronous Multi-Agent Systems (AMAS).

Dependencies

• cmake

Build

1. mkdir build
2. cd build
3. cmake ..
4. make

Generate Documentation

To generate the documentation you need to install Graphviz and replace the step 3 above by cmake .. -DBUILD_DOCS=ON.