Commits · 4edaea660539e7760e983be1326d8d175cc132c1 · mbe-tools / TTool

May 11, 2020
- Finished the implementation of the model checker validator and of the associated tests · 4edaea66
  tempiaa authored 5 years ago
  
  4edaea66
May 07, 2020
- First version model-checker validator which validates internal verification results with UPPAAL · 9b20334e
  tempiaa authored 5 years ago
  
  9b20334e
Apr 27, 2020
- Added tests for model-checker · 2e0589ae
  tempiaa authored 5 years ago
  
  2e0589ae
Apr 10, 2020
- Added model-checker tests for liveness, reachability and state limit · 0f216ff3
  tempiaa authored 5 years ago
  
  0f216ff3
Mar 20, 2020
- Adding test for modelchecker · 6daf467b
  Ludovic Apvrille authored 5 years ago
  
  6daf467b
Mar 01, 2019
- Adding Help Window · 120521b1
  apvrille authored 6 years ago
  
  120521b1
- Help manager with tests · 396bf465
  apvrille authored 6 years ago
  
  396bf465
Jul 04, 2017
- Update on plugins · 885c1e23
  apvrille authored 7 years ago
  
  885c1e23
May 24, 2017
- Update on TTool plugin · a429b778
  apvrille authored 7 years ago
  
  a429b778
May 23, 2017
- Very first plugin structure · 71f266e6
  Ludovic Apvrille authored 7 years ago
  
  71f266e6
Sep 06, 2010
- ProVerif: code generation from Avatar diagrams: first sketch · 52670c11
  Ludovic Apvrille authored 14 years ago
  
  52670c11
Nov 14, 2008
- New files for Network calculus · 9bb70fb4
  Ludovic Apvrille authored 16 years ago
  
  9bb70fb4
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339