Skip to content

Snapshot 2019-12-30
Compare
Choose a tag to compare
@danielratiu danielratiu released this 30 Dec 19:16
· 1758 commits to master since this release
snapshot/v2019_12_30
45a45d4

This release contains several new features:

  • assurance cases modeling using GSN and additional DSLs
  • hazard analysis using STPA
  • specification of requirements as pure text, temporal logics or formal SMV models
  • support for editing Promela models and integration with Spin (preliminary)
  • ... and many bug fixes and smaller improvements of existing languages

This release uses MPS 2019.2.4

Assets 3
Loading