Das Projekt Ökosystem vertrauenswürdige IT (ÖvIT) hat das Ziel, Technologien, Methoden und Tools für durchgängig formal verifizierte Software- und Hardwarekomponenten („Basis-IT“) zu erforschen und zu entwickeln sowie ein Ökosystem von Entwicklerinnen und Entwicklern bei kommerziellen Anbieterinnen sowie von Nutzerinnen und Nutzern zu etablieren. Die formale Verifikation der Sicherheitseigenschaften von Hard- und Software ermöglicht es, mathematisch-logisch zu beweisen, dass ein IT-System … oevit weiterlesen