Schlagwort: Windows

Windows 365 – die Zukunft des Windows-Clients?

Microsofts neuer Cloud-Desktop-Service, der 14. Juli 2021 vorgestellt wurde, verspricht eine flexible und sichere Lösung für die Bereitstellung von Windows auf unterschiedlichen Geräten wie z.B. Tablet. Was ist Windows 365, welche Vorteile bietet es im Vergleich zu einem herkömmlichen Windows-Client? In diesem Beitrag erfährst du mehr über die Vor- und …

Kann Formale Verifikation dem Blue Screen den Garaus machen?

“:( Your PC ran into a problem and needs to restart” – Der Blue-Screen ist Stellvertreter für Bugs aller Art und wenn er auftritt, hofft man einfach auf das Beste. Die Macher von seL4 aber haben es geschafft, Blue-Screens völlig zu verhindern: Mit Formaler Verifikation (FV) können sie Fehler in …