verification of control algorithms