Formal Methods: Best of 2010
|Chair:||Anwendungsorientierte Formale Verifikation; Logik und Formale Methoden|
Blockveranstaltung am Semesterende
Today, software systems are present in all areas of our life. Their quality, however, falls prey to their complexity. This might be acceptable in some fields, but not where lives depend on them (e.g. avionics, trains, or medicine) or financial stakes are high (e.g. internet banking). In these cases, high quality of the software, especially correctness, must be taken care of.