Issues · mbe-tools / TTool · GitLab

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
Comment détecter les livelocks dans un modèle AVATAR ?

#203 · opened Jun 09, 2019 by Dominique Blouin AVATAR
- 2
updated Jul 06, 2020
New fucntionality: implement attack tree analysis

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

#165 · opened Nov 09, 2018 by Dominique Blouin AVATAR
- 1
updated Jul 06, 2020
Scripting TCL

#144 · opened Jul 12, 2018 by Ludovic Apvrille AQUAS AVATAR DIPLODOCUS Development Infrastructure Formal verification
- 1
updated May 02, 2019
Safety pragmas: syntax checking fails to identify safety pragmas with invalid attributes

#96 · opened Nov 10, 2017 by Ludovic Apvrille AQUAS AVATAR GUI
- 3
updated Dec 14, 2017
Show a reachability scenario when a state is reachable

#84 · opened Oct 17, 2017 by Ludovic Apvrille AQUAS AVATAR DIPLODOCUS
- 0
updated Dec 13, 2017
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
Handling files of Reachability Graphs generated from Avatar

#50 · opened Jun 09, 2017 by Ludovic Apvrille AVATAR Formal verification
- 1
updated Apr 16, 2018