F*

F*

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

웹 사이트:

풍모

카테고리

Windows 용 F*의 대안

F# (programming language)

F# (programming language)

F #은 간결하고 표현력이 뛰어나고 기능이 뛰어난 .NET 용 객체 지향 언어로 복잡한 문제를 해결하기 위해 간단한 코드를 작성하는 데 도움이됩니다.
CamDesk

CamDesk

CamDesk는 무료 오픈 소스 데스크탑 웹캠 위젯으로 가정 감시 애플리케이션으로 만들어졌습니다.
Coq

Coq

Coq는 교정 지원으로, 엄격하고 공식적인 방법으로 수학 교정을 작성하고 컴퓨터에서 정확성을 검사 할 수 있습니다.
Isabelle

Isabelle

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

OCaml

OCaml은 기능적, 명령형 및 객체 지향 스타일을 지원하는 산업 강도 프로그래밍 언어입니다.
Agda

Agda

Agda는 종속적으로 유형이 지정된 기능 프로그래밍 언어입니다.그것은 유도 된 패밀리, 즉 주어진 길이의 벡터의 유형과 같은 값에 의존하는 데이터 유형을 가지고 있습니다.
Network Security Toolkit

Network Security Toolkit

이 부팅 가능한 ISO 라이브 CD / DVD (NST Live)는 Fedora를 기반으로합니다.
Cyberwatch

Cyberwatch

서버를 IT 취약성으로부터 보호하십시오 .Cyberwatch는 취약성을 감지하고 적절한 보안 수정 사항을 자동으로 배치합니다.
get2clouds

get2clouds

RC4 암호화를 사용하여 데이터를 두 번 암호화하고 보안 소켓 계층 (https)을 통해 전송합니다.이 엔드 투 엔드 (E2E) 암호화는 사용자 이외의 다른 사람이 데이터를 가로 채거나 액세스 할 수 없도록합니다.