Inspec keywords: program verification; program debugging; embedded systems; software tools; system monitoring

Other keywords: software application correctness; embedded systems; nonintrusive monitoring; runtime verification tools; software execution monitoring; software errors

Subjects: Diagnostic, testing, debugging and evaluating systems; Programming support; Formal methods