Issues · mbe-tools / TTool · GitLab

Formal verification directly on AUT graphs

#277 · opened Jul 29, 2020 by Alessandro Tempia Calvino AVATAR
- 0
updated Jul 29, 2020
Add a subtree dedicated to verification traces (AUT)

#276 · opened Jul 29, 2020 by Alessandro Tempia Calvino AVATAR
- 0
updated Jul 29, 2020
Bactrackig of verification results --> scenario simulation

#272 · opened Jul 08, 2020 by Dominique Blouin AVATAR
- 0
updated Jul 08, 2020
Disabling actions

#270 · opened Jul 08, 2020 by Ludovic Apvrille AVATAR
- 0
updated Jul 08, 2020
Auto-association of signals

#269 · opened Jul 06, 2020 by Ludovic Apvrille AVATAR
- 0
updated Jul 06, 2020
Constructions SysML prises en compte en simulation et pas en vérification

#258 · opened May 19, 2020 by Dominique Blouin AVATAR
- 2
updated Jul 06, 2020
Co-édition de diagrammes

#257 · opened May 19, 2020 by Dominique Blouin AVATAR
- 1
updated Jul 06, 2020
New functionality: implement attack tree analysis

#194 · opened May 02, 2019 by Ludovic Apvrille AQUAS AVATAR SysML-Sec
- 0
updated Jan 22, 2021
Data Structure in a Data Structure (suggestion, not a bug)

#165 · opened Nov 09, 2018 by Dominique Blouin AVATAR
- 1
updated Jul 06, 2020
Show a reachability scenario when a state is reachable

#84 · opened Oct 17, 2017 by Ludovic Apvrille AQUAS AVATAR DIPLODOCUS
- 1
updated Jan 19, 2021
Forbidden identifiers

#78 · opened Oct 09, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 1
updated Oct 18, 2019
Model refactoring

#52 · opened Jun 14, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 0
updated Jan 13, 2018
Handling loops and alternatives in Sequence Diagrams

#51 · opened Jun 09, 2017 by Ludovic Apvrille AQUAS AVATAR SysML-Sec
- 0
updated Apr 16, 2018