VII.5 Summary

Summary [Slide 326]

• Runtime verification is an integration of testing and formal verification.
• Our runtime verification approach doesn’t suffer from the state explosion problem but it doesn’t perform complete tests.