Runtime Vеrification


Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.