Part VII
AnaTempura

VII.1  Introduction

VII.2  Runtime verification

VII.3  Application

VII.4  Runtime Verification Research

VII.5  Summary

VII.6  Exercises