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