Title: Runtime Verification
Subjects: Logic design, Computer science, Software engineering, Information networks, Computer software, verification, Aspect-oriented programming, Formal methods (Computer science), Congresses, Computer software, Testing, Verification