P Ovsiannikova, E Le Priol, V Perret… - 2023 IEEE 32nd …, 2023 - ieeexplore.ieee.org
A rigorous check is a significant phase in the design process of control programs of safety-
critical cyber-physical systems. Here, we consider such programs to be implemented using …