Überprüfungs-Engine
Die SDV-Überprüfungs-Engine ist eine leistungsstarke Proof-Engine, die die Regelüberprüfung für SDV durchführt.
Die Überprüfungs-Engine verwendet die folgende Eingabe:
Treibercode
Static Driver Verifier-Betriebssystemmodell
Feedback
Bald verfügbar: Im Laufe des Jahres 2024 werden wir GitHub-Issues stufenweise als Feedbackmechanismus für Inhalte abbauen und durch ein neues Feedbacksystem ersetzen. Weitere Informationen finden Sie unter https://aka.ms/ContentUserFeedback.
Feedback senden und anzeigen für