High-Integrity Runtime Verification

We introduce the concept of runtime verification that can be a critical element of an assurance case by guaranteeing that specifications hold at runtime. We show how runtime verification can be a trustworthy approach to assuring that critical systems are safe and dependable.