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.

2012S, 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
25h preparation for examination
25h exercises
----------------------------------
75h (3 ECTS)
----------------------------------

Lecturers

  • Veith, Helmut

Institute

Course dates

DayTimeDateLocationDescription
Fri14:00 - 18:0023.03.2012 - 08.06.2012FH Hörsaal 3 - MATH Lectures
Fri14:00 - 18:0004.05.2012Sem.R. DA grün 05 Lecture
Fri15:00 - 16:0022.06.2012Seminarraum FAV EG B (Seminarraum von Neumann) CAV-Besprechung
Fri14:00 - 17:0029.06.2012EI 3 Sahulka HS - UIW CAV Prüfung
Computer Aided Verification - Single appointments
DayDateTimeLocationDescription
Fri23.03.201214:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri30.03.201214:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri04.05.201214:00 - 18:00Sem.R. DA grün 05 Lecture
Fri11.05.201214:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri25.05.201214:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri08.06.201214:00 - 18:00FH Hörsaal 3 - MATH Lectures
Fri22.06.201215:00 - 16:00Seminarraum FAV EG B (Seminarraum von Neumann) CAV-Besprechung
Fri29.06.201214:00 - 17:00EI 3 Sahulka HS - UIW CAV Prüfung
Course is held blocked

Examination modalities

evaluation by your exercises and examination

Course registration

Begin End Deregistration end
01.03.2012 12:00 31.03.2012 12:00

Registration modalities

aktuelle Infos bitte LVA abonnieren Ort: TISS

Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective
066 938 Computer Engineering Mandatory2. Semester

Literature

No lecture notes are available.

Previous knowledge

Bachelor in Computer Science/Informatics or related fields

Accompanying courses

Miscellaneous

  • Attendance Required!

Language

English