Formal methods of embedded systems: Model-based analysis
Contact
Management
Prof. Dr M. Fränzle
Room: D119/120 (OFFIS)
Phone: +49-441-9722 566
Office
Kathrin Kuper
Room: D121 (OFFIS)
Phone: +49-441-9722 501
Fax: +49-441-9722 502
Formal methods of embedded systems: Model-based analysis
The course teaches the semantic, logical and algorithmic fundamentals of the automatic analysis of embedded software systems. The primary form of instruction is the media-supported lecture and the didactic question-and-answer game, with presentations, animations and tool demonstrations serving as supporting media.