Runtime Verification

Warning Could not find course data for 182741 2018W/2019S.

Aim

%objective_en%

Subject

not specified

Lecturers

not specified not specified not specified, Univ.Lektor Dr. Dejan Nickovic

Homepage

not specified

ETCS

ECTS-Breakdown: 3 ECTS = 75 Hours

  • 12 h - Frontal Lessons
  • 63 h - Project and exercises

 

Dates

Date Time LocationEvent Notes
16.03.2016 10:00 - 12:00 Library E182-2 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria) Course Introduction slides
30.03.2016 10:00 - 12:00 Library E182-2 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria) Specification Languages slides
20.04.2016 10:00 - 12:00 Library E182-1 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria) Software Instrumentation slides
11.05.2016 10:00 - 12:00 Library E182-1 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria) Software Monitoring

Example1

Example2

JavaMop 3 (Installer)

JavaMop 3 (Specification to Monitor translator)

01.06.2016 10:00 - 12:00 Library E182-1 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria) Monitoring Mixed Analog Signals 1 slides
08.06.2016 10:00 - 12:00 Library E182-1 (Treitlstrasse 3 (2nd floor), 1040 Vienna, Austria) Monitoring Mixed Analog Signals 2 slides