Assertion: fret | /r/CapableOf | generate formal properties
Facets:
value: currently
type: TEMPORAL
Source sentences:
text: FRET is currently able to generate formal properties in Simulink form, which can then be checked against Simulink models with the CoCoSim tool.