3
F * (belirgin F yıldızı), program doğrulamasına yönelik ML benzeri bir işlevsel programlama dilidir.Tip sistemi, polimorfizm, bağımlı tipler, monadik etkiler, arıtma tipleri ve en zayıf önkoşul hesabını içerir.Bu özellikler birlikte, işlevsel doğruluk özellikleri de dahil olmak üzere programlar için kesin ve kompakt özelliklerin ifade edilmesini sağlar.F * tip kontrolörü, programların SMT çözme ve manuel ispatların bir kombinasyonunu kullanarak özelliklerini karşıladığını kanıtlamayı amaçlamaktadır.F * ile yazılmış programlar yürütme için OCaml veya F # diline çevrilebilir.
f-
İnternet sitesi:
https://www.fstar-lang.orgÖzellikleri
Android için F*'a alternatifler
1
Hi Security
Hi Security, Android telefonunuzu tüm virüs saldırılarına karşı koruyan birinci sınıf bir ÜCRETSİZ Antivirüs uygulamasıdır.
- Ücretsiz
- Android
0
get2clouds
Verileri RC4 şifrelemesi kullanarak iki kez şifreler ve güvenli bir soket katmanı (https) ile gönderir.Bu uçtan uca (E2E) şifreleme, kullanıcı dışında herhangi biri tarafından verilere müdahale veya erişimi imkansız hale getirir.