Latest news

Jump to: navigation, search

TASTE Activities

Ongoing activities include...

  • New Debian 9-based VM
  • Automated Docker installation
  • Many updates of the ASN.1 compiler (in particular for Ada, the generation of Spark 2014 code)
  • Support of multiple instances when working with SDL
  • Support of the latest version of Pragmadev Studio
  • Work on model checkers
  • A Facebook page for TASTE

Stay tuned !