DICE-Verification Tool v0.3.0

Features implemented:

• D-VerT Client (Eclipse Plugin)

  • support for Spark Models
  • new contextual launch shortcut
  • code reorganization

• D-VerT Server (Docker Multi-Container application):

  • support for Spark verification
  • improvements in TL model
  • improvements in Dashboard

Issues in progress:

• Improve transformation process from UML to JSON (so that no renaming of associations' ends is needed).
• Improve D-VerT Server Management by:
  • providing more actions to control/remove/export statistics of running tasks
  • providing single-task perspective
  • add security settings