DE

Block

Decision Procedures with Applications to Software Verification [T-INFO-108955]

Type

Oral examination

Credits

5

Recurrence

Each winter term

Version

1

Responsible

Prof. Dr. Carsten Sinz

Organisation

KIT-Fakultät für Informatik

Part of

Module Decision Procedures with Applications to Software Verification | Information Systems (M.Sc.)

Events

Course Number	Name	SWS	Type
WS21 2400073	Decision Procedures with Applications to Software Verification	3	lecture/exercise (VÜ)
WS20 2400073	Decision Procedures with Applications to Software Verification	3	lecture/exercise (VÜ)
WS19 2400073	Decision Procedures with Applications to Software Verification	3	lecture/exercise (VÜ)

Exams

Course Number

Name

Appointments

WS20 7500212

Decision Procedures with Applications to Software Verification

25.02.2022 - 10:00

08.04.2022 - 10:00

WS20 7500212

Decision Procedures with Applications to Software Verification

02.03.2020 - 10:00

27.03.2020 - 10:00

WS20 7500212

Decision Procedures with Applications to Software Verification