From 75c761e56ec0e4aa3dbc70dd45aa0f01abafbda8 Mon Sep 17 00:00:00 2001 From: Jerome Hugues Date: Tue, 23 May 2017 10:46:32 +0200 Subject: [PATCH] Update README.rst --- README.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.rst b/README.rst index 9d2e50ee..3eb7c812 100644 --- a/README.rst +++ b/README.rst @@ -22,7 +22,9 @@ As a back-end, it supports * Model checking, using Petri Net `Tina `_, and `LNT `_ * Constraint analysis, using the REAL annex language -It can be integrated with the `AADLib `_ library of AADL components, and through a `OSATE2 plugin `_ +It can be integrated with the `AADLib `_ library of AADL components. + +It can also be embedded in AADL editors: in `OSATE `_ using the `OSATE2 plugin `_, and `AADL Inspector `_ Installation: ------------- -- GitLab