Latest news

Revision as of 21:01, 4 August 2017 by Ttsiodras (talk | contribs) (1 revision imported)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 !