Seminar Formal Verification

Semester: 
Modul: 
CS3702,
CS5840,
CS5480,
CS5015,
CS5191

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. [Wikipedia]

We particularily consider the verification of software systems including their modelling on different levels of abstraction and the specification of properties that are to be verified. Typical approaches are, for example theorem proving, testing, model checking, runtime verification, static analysis, type checking. They rely on formal concepts such as (temporal) logic, automata- and game theory or process algebras. The major goal is an automatic comparisson of the (possibly abstract) modell and a property specification.

SS 2014
Preliminary meeting (Vorbesprechung)
Tuesday 14:00-15:00 1.108 (Besprechungsraum ISP), Building 64 (not every week)

Report submission
Tuesday 15:00-15:00 electronic (not every week)

Slide submission
Tuesday 15:00-15:00 electronic (not every week)

Presentations
Tuesday 12:00-17:00 1.108 (Besprechungsraum ISP), Building 64 (not every week)

Preliminary meeting (Vorbesprechung)
Tuesday May 6, 2014 14:00-15:00 (1.108 (Besprechungsraum ISP), Building 64)

Report submission
Tuesday June 17, 2014 15:00-15:00 (electronic)

Slide submission
Tuesday June 24, 2014 15:00-15:00 (electronic)

Presentations
Tuesday July 1, 2014 12:00-17:00 (1.108 (Besprechungsraum ISP), Building 64)

click to view Dates.