Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
TTool
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
50
Issues
50
List
Boards
Labels
Milestones
Merge Requests
3
Merge Requests
3
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
mbe-tools
TTool
Issues
Open
18
Closed
59
All
77
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
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
Use Case: self-loop relation
#275
· opened
Jul 21, 2020
by
Dominique Blouin
AVATAR
0
updated
Jul 21, 2020
Use Case Diagram: inheritance relation between an actor and a use case (and vice versa)
#274
· opened
Jul 21, 2020
by
Dominique Blouin
AVATAR
0
updated
Jul 21, 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
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
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
