181.145 Computer Aided Verification
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2015S, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

Introduction to automatic verification of hardware and software

Subject of course

Modeling of hardware and software, overview of computer aided verification methods. Specification by temporal logic and automata, simulation and bisimulation, state explosion, explicit and symbolic model checking methods, abstraction and abstraction refinement, predicate abstraction, decision procedures, prover tools. Verification software in practice, overview of verification methods for specific classes of systems and current developments.

Additional information

Registration about TISS Students of Studies 931, 938 are prefered. Please, subscribe the lecture. Dates for lecture hall are for 181.144 and 181.145.

ECTS Breakdown:
----------------------------------
25h lectures and examination
35h preparation for examination
15h exercises
----------------------------------
75h (3 ECTS)
----------------------------------

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri14:00 - 18:0017.04.2015 - 19.06.2015FH Hörsaal 3 - MATH Lectures
Fri14:00 - 18:0008.05.2015EI 11 Geodäsie HS - GEO Lectures
Fri13:00 - 18:0019.06.2015 - 26.06.2015EI 3A Hörsaal Computer Aided Verification
Computer Aided Verification - Single appointments
DayDateTimeLocationDescription
Fri17.04.201514:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri24.04.201514:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri08.05.201514:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri08.05.201514:00 - 18:00EI 11 Geodäsie HS - GEO Lectures
Fri15.05.201514:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri22.05.201514:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri29.05.201514:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri12.06.201514:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri19.06.201513:00 - 18:00EI 3A Hörsaal Computer Aided Verification
Fri19.06.201514:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri26.06.201513:00 - 18:00EI 3A Hörsaal Computer Aided Verification
Course is held blocked

Examination modalities

evaluation by your exercises and examination

Course registration

Begin End Deregistration end
05.03.2015 12:00 04.04.2015 12:00

Registration modalities

aktuelle Infos bitte LVA abonnieren Ort: TISS

Curricula

Literature

No lecture notes are available.

Previous knowledge

Bachelor in Computer Science/Informatics or related fields

Accompanying courses

Miscellaneous

  • Attendance Required!

Language

English