Skip to content

FRET public release v2.4
Compare
Choose a tag to compare
@andreaskatis andreaskatis released this 06 Oct 21:47
· 333 commits to master since this release
v2.4
5ffb925

What is new in FRET v2.4

Realizability checking:

  • Users can now save and load realizability checking and diagnosis reports using the graphical interface.
  • Extended the interface to allow selection of subsets of requirements in a given system component.
  • Changed default realizability checking engine to Kind 2.

Requirements Formalization:

  • Fixed handling of Boolean constants in FRETish.
  • Predicate preBool is now properly mapped to temporal operators Y or Z, depending on the initial value.
Assets 2
Loading