Phần mềm
Chúng tôi đã tổng hợp danh sách 5 phần mềm thay thế miễn phí và trả phí cho F*. Các đối thủ chính bao gồm: Isabelle, Coq. Ngoài ra, người dùng cũng tiến hành so sánh giữa F* và F# (programming language), Agda, OCaml. Bạn cũng có thể xem các tùy chọn tương tự khác tại đây: Phần mềm bảo mật và quyền riêng tư.
Chúng tôi đã tổng hợp danh sách 5 phần mềm thay thế miễn phí và trả phí cho F*. Các đối thủ chính bao gồm: Isabelle, Coq. Ngoài ra, người dùng cũng tiến hành so sánh giữa F* và F# (programming language), Agda, OCaml. Bạn cũng có thể xem các tùy chọn tương tự khác tại đây: Phần mềm bảo mật và quyền riêng tư.
Isabelle là một trợ lý bằng chứng để viết và kiểm tra bằng chứng toán học bằng máy tính.
Coq là một trợ lý bằng chứng, cho phép bạn viết các bằng chứng toán học một cách nghiêm ngặt và trang trọng ...
F # là một ngôn ngữ hướng đối tượng và chức năng ngắn gọn, biểu cảm và hiệu quả cho.
OCaml là một ngôn ngữ lập trình sức mạnh công nghiệp hỗ trợ chức năng, bắt buộc và ...
F * là ngôn ngữ lập trình chức năng giống ML nhằm xác minh chương trình.
F * là ngôn ngữ lập trình chức năng giống ML nhằm xác minh chương trình.
Linux
Mac
Web-Based
Windows
F * (phát âm là sao F) là ngôn ngữ lập trình chức năng giống ML nhằm xác minh chương trình. Hệ thống loại của nó bao gồm đa hình, loại phụ thuộc, hiệu ứng đơn âm, loại tinh chế và tính toán tiền điều kiện yếu nhất. Cùng với nhau, các tính năng này cho phép thể hiện các thông số kỹ thuật chính xác và nhỏ gọn cho các chương trình, bao gồm các thuộc tính chính xác về chức năng. Trình kiểm tra loại F * nhằm mục đích chứng minh rằng các chương trình đáp ứng các thông số kỹ thuật của chúng bằng cách sử dụng kết hợp giải quyết bằng chứng SMT và bằng chứng thủ công. Các chương trình được viết bằng F * có thể được dịch sang OCaml hoặc F # để thực thi.
Security & Privacy
Portable
Chia sẻ ý kiến về phần mềm, viết đánh giá và giúp làm cho nó càng tốt hơn!
Đề xuất thay đổi
Phản hồi của bạn
Your vote has been counted.
Do you have experience using this software?
