Title: Runtime Verification
Subjects: Computer software, verification, Computer software, testing, Software engineering, Computer science, Computer software, Logic design, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages