Title: Runtime verification
Subjects: Echtzeitsystem, Monitoring (Informatik), Computer software, Computersicherheit, Model Checking, Verification, Formal methods (Computer science), Software, Datensicherung, Formale Methode, Testing, Aspect-oriented programming, Congresses, Echtzeitverarbeitung, Testen, Verifikation, Logic design, Computer system performance, Computer science, Software engineering, Operating systems (Computers), Computer software, testing