Open luigiapetre opened 5 years ago
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, the theory and practice of static verification with SPARK, distributed systems Tools used: -- gnat -- the SPARK toolset -- gps, emacs' Ada mode, ... 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, the theory and practice of static verification with SPARK, distributed systems Tools used: -- gnat -- the SPARK toolset -- gps, emacs' Ada mode, ... Webpage: https://www.uni-weimar.de/de/medien/professuren/medieninformatik/mediensicherheit/teaching/ws-2018/security-engineering-course/