Software
Abbiamo compilato una lista di 5 alternative gratuite e a pagamento a F*. I principali concorrenti includono Isabelle, Coq. Inoltre, gli utenti fanno anche confronti tra F* e F# (programming language), Agda, OCaml. Puoi anche dare un'occhiata ad altre opzioni simili qui: Software per la sicurezza e la privacy.
Abbiamo compilato una lista di 5 alternative gratuite e a pagamento a F*. I principali concorrenti includono Isabelle, Coq. Inoltre, gli utenti fanno anche confronti tra F* e F# (programming language), Agda, OCaml. Puoi anche dare un'occhiata ad altre opzioni simili qui: Software per la sicurezza e la privacy.
Isabelle è un assistente di prova per la scrittura e il controllo di prove matematiche al computer.
Coq è un assistente di prova, che ti permette di scrivere prove matematiche in modo rigoroso e formale ...
F # è un linguaggio funzionale e orientato agli oggetti sintetico, espressivo ed efficiente per.
Agda è un linguaggio di programmazione funzionale tipicamente dipendente. Ha famiglie induttive, vale a dire
OCaml è un linguaggio di programmazione di forza industriale a supporto funzionale, imperativo e ...
F * è un linguaggio di programmazione funzionale tipo ML finalizzato alla verifica del programma.
F * è un linguaggio di programmazione funzionale tipo ML finalizzato alla verifica del programma.
Linux
Mac
Web-Based
Windows
F * (pronunciata stella F) è un linguaggio di programmazione funzionale tipo ML finalizzato alla verifica del programma. Il suo sistema di tipi include polimorfismo, tipi dipendenti, effetti monadici, tipi di perfezionamento e un calcolo precondizionato più debole. Insieme, queste funzionalità consentono di esprimere specifiche precise e compatte per i programmi, comprese le proprietà di correttezza funzionale. Il controllo del tipo F * mira a dimostrare che i programmi soddisfano le loro specifiche utilizzando una combinazione di risoluzione SMT e prove manuali. I programmi scritti in F * possono essere tradotti in OCaml o F # per l'esecuzione.
Security & Privacy
Portable
Condividi la tua opinione sul software, lascia una recensione e contribuisci a migliorarlo ulteriormente!
Suggerisci modifiche
Il tuo feedback
Your vote has been counted.
Do you have experience using this software?
