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.

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

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:0015.04.2016 - 17.06.2016FH Hörsaal 3 - MATH Lectures
Fri14:00 - 18:0006.05.2016EI 11 Geodäsie HS - GEO Lectures
Fri13:00 - 18:0017.06.2016 - 24.06.2016EI 3A Hörsaal Computer Aided Verification
Computer Aided Verification - Single appointments
DayDateTimeLocationDescription
Fri15.04.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri22.04.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri29.04.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri06.05.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri06.05.201614:00 - 18:00EI 11 Geodäsie HS - GEO Lectures
Fri13.05.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri20.05.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri03.06.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri10.06.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri17.06.201613:00 - 18:00EI 3A Hörsaal Computer Aided Verification
Fri17.06.201614:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri24.06.201613: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
03.03.2016 12:00 02.04.2016 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

Language

English