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