Seminar on Specification Languages for Verification

CS 3702 BachSemInf,
CS 3703 BachSemMI,
CS 5480 SemSSE,
CS 5840 SemiEngl

In this seminar we will explore different specification languages which are designed or can be used for the purpose of verification. The special focus of this seminar lays on stream based specification languages, which are capable of real-time value and/or event streams.