Approaches to static and dynamic verification

Summary
Related to Tasks 2.5 and 2.6