Программное обеспечение
Мы составили список из 5 бесплатных и платных аналогов F*. Основные конкуренты: Isabelle, Coq. Кроме того, пользователи также проводят сравнения между F* и F# (programming language), Agda, OCaml. Также вы можете рассмотреть другие аналогичные варианты здесь: Программное обеспечение для безопасности и конфиденциальности.
Мы составили список из 5 бесплатных и платных аналогов F*. Основные конкуренты: Isabelle, Coq. Кроме того, пользователи также проводят сравнения между F* и F# (programming language), Agda, OCaml. Также вы можете рассмотреть другие аналогичные варианты здесь: Программное обеспечение для безопасности и конфиденциальности.
Изабель - помощник для написания и проверки математических доказательств с помощью компьютера.
Coq является помощником по доказательствам, который позволяет вам писать математические доказательства в строгой и формальной форме ...
F # является кратким, выразительным и эффективным функциональным и объектно-ориентированным языком для.
Agda - это типизированный язык программирования с зависимой типизацией. Имеет индуктивные семьи, т.е.
OCaml - это промышленный язык программирования, поддерживающий функциональные, императивные и ...
F * - это ML-подобный функциональный язык программирования, предназначенный для верификации программы.
F * - это ML-подобный функциональный язык программирования, предназначенный для верификации программы.
Linux
Mac
Web-Based
Windows
F * (произносится как F star) - это ML-подобный функциональный язык программирования, предназначенный для верификации программы. Его система типов включает в себя полиморфизм, зависимые типы, монадические эффекты, типы уточнения и самое слабое исчисление предварительных условий. Вместе эти функции позволяют выразить точные и компактные спецификации для программ, включая свойства функциональной корректности. Проверка типа F * призвана доказать, что программы соответствуют их спецификациям, используя комбинацию SMT-решения и ручных проверок. Программы, написанные на F *, могут быть переведены на OCaml или F # для выполнения.
Security & Privacy
Portable
Поделитесь своим мнением о программном обеспечении, оставьте отзыв и помогите сделать его еще лучше!
Предложить изменения
Ваш отзыв
Your vote has been counted.
Do you have experience using this software?
