Combining closed-loop test generation and execution by means of model checking

Igor Buzhinsky, Valeriy Vyatkin

Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes…