Automatische Übersetzung. Diese Seite wurde maschinell aus EN übersetzt und kann Fehler enthalten.

Hoare Logikprüfer

Dies war vibe codiert und verwendet React.

  1. Erstellen Sie ein Programm mit Drag und Drop mit den angegebenen Elementen.
  2. Klicken Sie auf Create Root
  3. Fügen Sie die entsprechenden Regeln hinzu, bis es heisst Valid Proof: Yes

Hoare inference rules

Dieses Tool ist nicht anspruchsvoll, sondern nur String-Ersatz und String-Vergleich.

Hoare Logikprofi

GitHub