Deprecated information about features from deleted toolbar such as "Semantic Inspector" and etc.
Problem:
The toolbar with the following buttons:
“Contract Specification”, “Semantic Inspector”, “CProver Analyses”, “Non-determinism Analyses”, “Assume Guarantee Reasoning”, “Analyses Master”, “Tabular Specification Analyses”, “MSC Conformity”
is removed from the Modeling perspective, but information about these feature is still at the AF3 Help page.
Expected:
the information should be changed accordingly.
Source:
- AF3 Help Content >Testing and formal verification >Model Checking — Using the “Semantic Inspector”.
- AF3 Help Content >Modeling and simulation >Temporal Logics Specification , see “The advanced contracts can be defined and saved in the Semantic Inspector view ….”) .
- AF3 Help Content >Testing and formal verification >Model Checking (using CProver)
- AF3 Help Content >Testing and formal verification > Nondeterminism Analysis
- AF3 Help Content >Testing and formal verification >Assume Guarantee Reasoning
- AF3 Help Content >Testing and formal verification >Analyses Master
- AF3 Help Content >Testing and formal verification >MSC Conformity
- Main Page of AF 3 Help documentation
(from redmine: issue id 2828, created on 2017-02-08, closed on 2017-02-20)
- Relations:
- blocks #2823 (closed)
- parent #2259 (closed)