F*

F*

F * är ett ML-liknande funktionellt programmeringsspråk som syftar till programverifiering.F * kan uttrycka exakta specifikationer för program, inklusive funktionella korrekthetsegenskaper.Program skrivna i F * kan översättas till OCaml eller F # för exekvering.
F * (uttalad F-stjärna) är ett ML-liknande funktionellt programmeringsspråk som syftar till programverifiering.Dess typsystem innefattar polymorfism, beroende typer, monadiska effekter, förädlingstyper och en svagaste förutsättningskalkyl.Tillsammans tillåter dessa funktioner uttryckliga och kompakta specifikationer för program, inklusive funktionella korrekthetsegenskaper.Typkontrollen F * syftar till att bevisa att program uppfyller deras specifikationer med en kombination av SMT-lösning och manuella bevis.Program skrivna i F * kan översättas till OCaml eller F # för exekvering ....
f-

Hemsida:

Funktioner

kategorier

Alternativ till F* för alla plattformar med någon licens

F# (programming language)

F# (programming language)

F # är ett kortfattat, uttrycksfullt och effektivt funktionellt och objektorienterat språk för .NET som hjälper dig att skriva enkel kod för att lösa komplexa problem.
CamDesk

CamDesk

CamDesk är en gratis, öppen källkod, desktop-webbkamera-widget som skapades som hemövervakningsprogram.
Coq

Coq

Coq är en bevisassistent, som låter dig skriva matematiska bevis på ett rigoröst och formellt sätt, och få dem kontrollerade för datorns korrekthet.
Isabelle

Isabelle

Isabelle är en bevisassistent för att skriva och kontrollera matematiska bevis via datorn.
OCaml

OCaml

OCaml är ett industriellt styrka programmeringsspråk som stöder funktionella, imperativ och objektorienterade stilar.
Agda

Agda

Agda är ett beroende typiskt funktionellt programmeringsspråk.Den har induktiva familjer, dvs datatyper som beror på värden, till exempel typen av vektorer med en viss längd.
Network Security Toolkit

Network Security Toolkit

Den här startbara ISO live CD / DVD (NST Live) är baserad på Fedora.
Hi Security

Hi Security

Hej säkerhet är ett GRATIS antivirusklasse i världsklass som skyddar din Android-telefon från alla virusattacker.
Cyberwatch

Cyberwatch

Skydda dina servrar från IT-sårbarheter. Cyberwatch upptäcker dina sårbarheter och tar automatiskt ut lämpliga säkerhetsfixer.
get2clouds

get2clouds

Den krypterar uppgifterna två gånger med RC4-kryptering och skickar dem via ett säkert sockellag (https).Denna end-to-end-kodning (E2E) gör att någon annan än användaren kan avlyssna eller komma åt informationen.
Masked Cache

Masked Cache

Gratis och lättanvänd webbplats som gör det möjligt att överlämna lösenord, användarnamn, säkra certifikat och annan känslig information till dina vänner och kollegor