Skip to content

Snapshot 2020-12-24

Pre-release
Pre-release
Compare
Choose a tag to compare
@danielratiu danielratiu released this 24 Dec 18:47
· 1144 commits to master since this release
snapshot/v2020_12_24
58a59a9

This release (based on MPS 2020.2) brings different major enhancements:

  • language to express confidence in GSN arguments based on Dempster-Schafer approach
  • various improvements of the GSN language implementation (faster notations, clean-ups)
  • initial support for DFMEAs, HiP-HOPS and Fault Trees
  • support for calling NuXMV model checker
  • new examples in the tutorial-safety
  • better user documentation

... and many minor fixes

Assets 3
Loading