Snapshot 2020-03-12

Besides many bugfixes, this release contains the following improvements:

• first integration of NuXMV
• various improvements of the GSN base-language and extensions
• enable modeling of interactions with Message-Sequence-Charts (MSCs)
• vizualization of NuSMV counterexamples as MSC
• improvements of the diagramatic editor of state-machines
• language refactorings (with models migrations)
• better examples in safety.tutorial

This release is based on MPS 2019.3.2

Snapshot 2019-12-30

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

Snapshot 2019-10-10.1

This release contains several small improvements:

• enhanced the set of supported TL-patterns
• enabled the translation to LTL of TL-patterns
• enabled IVAR in SMV-baseLanguage

In addition to these improvements, several bugs have been fixed. This release is based on MPS 2019.1.

Snapshot 2019-08-04

This is a bug fix release based on MPS 2019.1.4.

Snapshot 2019-05-04

This release brings more and improved tabular notations:

• specify a module with
  • function tables
  • action tables
• ... or use tables directly in expressions
  • decision table expression
  • tabular expression

Snapshot 2019-02-21

This is a bug fixing release.

Snapshot 2019-01-27

• improvements for the SMV-base language
• definition of "allowed scenarios" and "disallowed scenarios"
• several handy low level extensions to the SMV language
  -- structured types, add optional types to parameters
• improved importer of existing SMV files
• cross-cutting usability improvements

Snapshot 2018-10-24

• improved the support for Component-Based Design
  -- support for creating architectures in the graphical editor
  -- support for linking a component interface spec to an implementation by a NuSMV module
• new examples about CBD in the tutorial
• improved packaging and the RCP
• many smaller fixes

Snapshot 2018-09-16

• support for "Component-based Design"
  -- create component interfaces,
  -- annotate pre/post-conditions,
  -- compose interfaces into assemblies,
  -- check their compatibility and consistency, and
  -- in case of analysis failure, simulate the counterexamples
• improved UI integration of general NuSMV analyses results
• different bug fixes

Snapshot 2018-08-01

Code cleanup and UI improvements