Wie PVS katastrophen in kritischen systemen verhindert

Stellen sie sich software vor, die flugzeuge oder kernkraftwerke steuert. Das ist die stärke von PVS, dem Prototype Verification System. Es wurde in den späten 1980er jahren entwickelt. Diese formale sprache hilft ingenieuren, mathematisch zu beweisen, dass komplexe systeme immer wie erwartet funktionieren. Sicherheit ist hierbei von größter bedeutung. Es ist wie eine leistungsstarke rechtschreibprüfung für kritischen code. Es fängt fehler ab, die traditionelle tests übersehen könnten.