Title: Runtime Verification
Subjects: Logic design, Computer science, Software engineering, Computer software, Computer programs, Congresses, Verification, Formal methods (Computer science), Testing, Informatique, System design