Open jff opened 5 years ago
Issue by luigiapetre Thursday Nov 01, 2018 at 18:17 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/35
Course code, if applicable: University hosting the course: Bauhaus-Universität Weimar Contact person: Stefan Lucks, Stefan.Lucks@uni-weimar.de Concepts taught: Ada, tool-based testing, Static verification, SPARK, distributed systems Tools used: gnat, SPARK toolset, gps Webpage: https://www.uni-weimar.de/de/medien/professuren/medieninformatik/mediensicherheit/teaching/ws-2018/security-engineering-course/
Course code, if applicable: University hosting the course: Bauhaus-Universität Weimar Contact person: Stefan Lucks, Stefan.Lucks@uni-weimar.de Concepts taught: Ada, tool-based testing, Static verification, SPARK, distributed systems Tools used: gnat, SPARK toolset, gps Webpage: https://www.uni-weimar.de/de/medien/professuren/medieninformatik/mediensicherheit/teaching/ws-2018/security-engineering-course/