Mit der richtigen formellen Methode kann auf leichten Weg sicherer, formal richtiger Code in
Mit der richtigen formellen Methode kann auf leichten Weg sicherer, formal richtiger Code in C erzeugt werden: DIe Programmiersprache SPARK erlaubt, die für ein formelles Überprüfen notwendigen Informationen in der Sprache selbst zu nutzen. ( Bild: gemeinfrei / CC0 )