... | ... | @@ -7,8 +7,7 @@ |
|
|
|
|
|
# Translators
|
|
|
|
|
|
* [attop](https://github.com/utwente-fmt/attop): Attack tree translator and Analyzer
|
|
|
* [Adt2Upp](https://github.com/utwente-fmt/Adt2Upp): Attack tree convertor from ADTool to UPPAAL. *Old*
|
|
|
* [attop](https://github.com/utwente-fmt/attop): Attack tree translator and Analyzer. [Official Repository[(https://vcs.utwente.nl/source/AFTModel/)
|
|
|
|
|
|
# Papers
|
|
|
|
... | ... | |