Fraunhofer: Deduktive Verifikation für Software

Die Software eingebetteter Systeme – dies sind Kleinstcomputer, die ein System steuern, regeln und überwachen – übernimmt zunehmend zentrale Steuerungsfunktionen und muss deshalb sehr hohen Auflagen genügen.