Verification Bernd Finkbeiner

News

Block Seminar: Runtime Verification

Written: 13.12.2016 15:15
Modified: 13.12.2016 15:19
Written By: Hazem Torfah

Dear Students,

We are offering a block seminar on Runtime Verification. Runtime verification is a dynamic analysis method, where an execution of a system is checked during runtime against a specification. 

The seminar is a two week seminar that will take place in March. The registration is open until Thursday, December 22nd. For more information please visit the course's page or contact Hazem Torfah



If you encounter technical problems, please contact the administrators