search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Softwareverifikation #89

Open schaeferandreas opened 2 years ago

schaeferandreas commented 2 years ago

Course code, if applicable: University hosting the course: Technische Hochschule Lübeck Contact person: Andreas Schäfer, andreas.schaefer@th-luebeck.de 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 commented 2 years ago

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

schaeferandreas commented 2 years ago

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 https://github.com/fme-teaching/fm-courses/issues/89#issuecomment-1250349743, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACIC4PKQ3HG5Z6RWMZQARJLV65EJHANCNFSM6AAAAAAQNTO3OM . You are receiving this because you were mentioned.Message ID: @.***>

jff commented 2 years ago

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