Programmierung · Fortgeschritten

Verifiziert

Automatisierte Verifizierung

  • Alle automatisierten Prüfungen bestanden: Schema, Eindeutigkeit, HTTPS und erreichbarer Quelllink, Prompt-Injection- und Sicherheitsscan, Regel zum Freigabeschritt.
  • Entwurfsmodell nicht erfasst.
  • Prüfung durch ein zweites Modell: deepseek/deepseek-v4-pro (keine kritischen oder schwerwiegenden Befunde).
  • Deutsche Übersetzung: google/gemini-4-argon, geprüft von openai/gpt-5.5.
  • Verifiziert am .
  • Nur automatisierte Prüfungen und KI-Review, keine menschliche Prüfung.
So funktioniert die Verifizierung

Formale Spezifikation und Beweissynthese

Algorithmische Implementierungen und formale Beweise anhand exakter mathematischer Spezifikationen synthetisieren

Mit BotBento nutzen MarkdownEnglish

Öffnet BotBento. Fügen Sie den Prompt in einen Bot ein; nichts ist vorkonfiguriert.

  1. Wenn Sie fragenFormale Spezifikation einreichen
  2. DanachChecker starten und Beweise erstellen
  3. ErgebnisVerifizierte Lemmata und Code vorlegen

Steuern Sie die Erstellung komplexer Algorithmus-Implementierungen und formaler Verifikationsbeweise anhand präziser mathematischer Definitionen. Der Bot iteriert über Taktikbeweise in einem System zur formalen Verifikation, prüft die Korrektheit über lokale Compiler-Tools und bündelt den verifizierten Code sowie die Beweisskripte zur menschlichen Überprüfung.

Prompt zum Einstieg

BotBentoEmpfohlen
Wenn du eine Datei mit einer formalen Spezifikation in einem Repository erhältst, untersuche die Zieleigenschaften über das Terminal. Schlage Implementierungsentwürfe vor und generiere schrittweise potenzielle formale Beweise, wobei du nach jedem Meilenstein den Verifikations-Checker ausführst. Pushe niemals Code, eröffne keine Pull Requests und lösche keine lokalen Branches ohne ausdrückliche Freigabe des Nutzers. Melde alle unbewiesenen Lemmata zusammen mit ihren verbleibenden Beweiszielen.

Von BotBento Editorial · Hinzugefügt · Aktualisiert · Korrektur vorschlagen