Version 0.5

Major Changes

• Implemented optimization with adaptive STL updater. (Thanks @bo40 🙏)
  • See our RV'21 paper for the detail.
  • Compared with the original version for RV'21 (https://github.com/MasWag/FalCAuN/releases/tag/RV2021), we support falsification of multiple specifications in the adaptive STL updater.
• Supported constraints on input signals

RV2021 Version

The RV 2021 submission version.

Note: This version does not include some of the updates in v0.4.

Version 0.4

Major Changes

• Fixed and clarified the signal interpolation in SimulinkSUL
  • For inputSignal = a1, a2, ..., an, we construct a timed word w = (a1, 0), (a2, T), (a3, 2 * T), ... (an, (n - 1) * T) and execute the Simulink model by feeding the piecewise-linear interpolation of w, where T is the signal step.
• Report the concrete counterexamples with timestamps for clarity

Version 0.3

The HSCC 2020 submission version.

Version 0.2

Major Changes

• Implemented timeout
• Added an equivalence oracle by simulated annealing

Version 0.1

This is the initial usable version of FalCAuN.

Functionarities

• Black-box checking of Simulink models
  • The equivalence queries are by robustness-guided hill climbing or random checking