Research Day – Run-time verification using Testos