Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
There are no reported vulnerabilities
30 Day SummaryNov 13 2024 — Dec 13 2024
|
12 Month SummaryDec 13 2023 — Dec 13 2024
|