언어 선택

...

F* 대안

5개의 무료 및 유료 대안을 F*에 대한 목록으로 정리했습니다. 주요 경쟁 업체는 Isabelle, Coq입니다. 이 외에도 사용자들은 F*와 F# (programming language), Agda, OCaml 간에 비교를 하기도 합니다. 또한 여기서 다른 유사한 옵션을 살펴볼 수 있습니다: 보안 및 개인 정보 보호 소프트웨어.

Isabelle

Free Open Source

Isabelle은 컴퓨터로 수학 증거를 작성하고 확인하는 증거 조수입니다.

Coq

Free Open Source

Coq는 증거 보조자로서 엄격하고 공식적인 수학적 증거를 작성할 수 있습니다.

F# (programming language)

Free Open Source

F #은 간결하고 표현력 있고 효율적인 기능 및 객체 지향 언어입니다.

Agda

Agda는 종속적으로 유형이 지정된 기능 프로그래밍 언어입니다. 그것은 유도적인 가족, 즉

-15

OCaml

Free Open Source

OCaml은 기능, 명령 및 기능을 지원하는 산업 강도 프로그래밍 언어입니다.

F*

Free

Open Source

웹사이트 방문

F *는 프로그램 검증을 목표로하는 ML 유사 기능 프로그래밍 언어입니다.

F* 플랫폼

Linux

Mac

Web-Based

Windows

F* 비디오와 스크린샷

F* 개요

F * (F 스타로 발음)는 프로그램 검증을 목표로하는 ML 유사 기능 프로그래밍 언어입니다. 그것의 타입 시스템은 다형성, 의존 타입, 모나 딕 효과, 정제 타입, 가장 약한 전제 조건 미적분을 포함합니다. 이러한 기능을 함께 사용하면 기능적 정확성 특성을 포함하여 프로그램의 정확하고 컴팩트 한 사양을 표현할 수 있습니다. F * 유형 검사기는 프로그램이 SMT 해결 및 수동 증명의 조합을 사용하여 사양을 충족 함을 증명합니다. F *로 작성된 프로그램은 실행을 위해 OCaml 또는 F #으로 변환 될 수 있습니다.