Isabelle

Isabelle

Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen per Computer.
Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen per Computer.Sie ermöglicht es, mathematische Formeln in einer formalen Sprache auszudrücken, und bietet Werkzeuge, um diese Formeln in einem logischen Kalkül zu beweisen.
isabelle

Webseite:

Kategorien

Isabelle-Alternativen für Web

F*

F*

F * ist eine ML-ähnliche funktionale Programmiersprache zur Programmverifizierung.F * kann genaue Programmspezifikationen ausdrücken, einschließlich funktioneller Korrektheitseigenschaften.In F * geschriebene Programme können zur Ausführung in OCaml oder F # übersetzt werden.