Archiv der Kategorie: Software

In der Medizin, im Transportwesen (vollautomatische Züge, Raumfahrt) oder in der Energieproduktion (Kernkraftwerke) können Softwarefehler schwerwiegende Folgen haben. Verwendet man formale Methoden, dann könnten solche Bugs im Vorhinein vermieden werden. Während die Zuverlässigkeit von einfachen Maschinen sich durch Prüfungen und … Weiterlesen →