Softwareverifikation

[schaeferandreas]

Course code, if applicable:
University hosting the course: Technische Hochschule Lübeck
Contact person: Andreas Schäfer, [email protected]
Concepts taught: Applied Formal Methods,Logic,Linear Temporal Logic (LTL),Model Checking,Modelling,Software Verification,Temporal Logic
Tools used: C,Dafny,ESC/Java,Frama-C,Infer,Java,JML,Uppaal,Z3
Webpage:
Year/Level: 3
Reviewed: 2022/09/18

[jff]

Thank you, @schaeferandreas ! Do you have a website for this course?

[schaeferandreas]

unfortunately not, we use a blended learning system to host all the course related materials This ist my normal website for me https://www.th-luebeck.de/hochschule/hochschulorganisation/personalverzeichnis/person/andreas-schaefer/

…

On Sun, Sep 18, 2022 at 7:10 PM Joao F. Ferreira ***@***.***> wrote: Thank you, @schaeferandreas <https://github.com/schaeferandreas> ! Do you have a website for this course? — Reply to this email directly, view it on GitHub <#89 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACIC4PKQ3HG5Z6RWMZQARJLV65EJHANCNFSM6AAAAAAQNTO3OM> . You are receiving this because you were mentioned.Message ID: ***@***.***>

[jff]

Thank you for your contribution, @schaeferandreas! Your course is now shown in the courses website.