Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. STP

STP 1022

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 2.8/5 - ‎14 ‎Phiếu
Tải về

STP (Simple Theorem Prover): một thủ tục giải quyết hạn chế / quyết định chấp nhận các công thức hoặc hạn chế được tạo ra bởi các công cụ phân tích / kiểm tra thế hệ chương trình, trình kiểm tra mô hình, trình tìm lỗi, công cụ xác minh chính thức phần cứng / phần mềm, lông tơ thông minh

lịch sử phiên bản

  • Phiên bản simplifyingSTP%20r1022 đăng trên 2010-09-24
    Một số bản sửa lỗi và cập nhật
  • Phiên bản simplifyingSTP r1022 đăng trên 2010-09-24

Chi tiết chương trình

Các chương trình liên quan

  • Javascript and CSS compress utility Miễn phí

    Công cụ dòng lệnh để nén và làm xáo trộn mã Javascript và nén mã CSS. (Dựa trên KJS -- Thư viện Javascript có trong KHTML.)

  • EasySnuffle Miễn phí

    EasySnuffle là một công cụ đo lường để nắm bắt các thông điệp giao thức, trạng thái giao thức nội bộ và để đo lường hiệu suất thực hiện trên các nút mạng. Đầu dò đo cho UDP, IP và IEEE 802.11b MAC được thực hiện.

  • Open Streaming Server Miễn phí

    Open Streaming Server là một phân phối phương tiện truyền thông kỹ thuật số. Các đặc điểm chính là: - Phát trực tuyến các tệp mp4, 3gp, WMF, QT - Thích ứng băng thông động - Cân bằng tải - Công nghệ phân phối nội dung: C ++,

  • Chilkat Encryption .NET Component Dùng thử miễn phí

    Chilkat Crypt .NET là một thành phần mã hóa tiên tiến cung cấp cả khóa công khai RSAmã hóa với chữ ký số cũng như các thuật toán mã hóa đối xứng bao gồmAES (Rijndael), Blowfish, và Twofish. Nó cung cấp khả năng dễ dàng

  • Obfuscator for .NET framework Dùng thử miễn phí

    Skater .NET Obfuscator là một công cụ obfuscation để bảo vệ mã .NET. Nó thực hiện tất cả các kỹ thuật bảo vệ phần mềm được biết đến và các thuật toán obfuscation.Skater .NET Obfuscator là một giải pháp chuyên nghiệp toàn di

  • Angel USB Clock Vol.2 Miễn phí

    Biến điện thoại di động của bạn thành đồng hồ.Angel USB Clock là một ứng dụng biến điện thoại di động của bạn thành một đồng hồ analog trong khi bạn & #39;đang sạc pin di động của bạn.[Tính năng]* Sẽ tự động khởi độ

  • EMF Search Plugin Miễn phí

    EMF Search Plugin -- Plugin Eclipse 3.0 này cung cấp một trang tìm kiếm chuyên tìm kiếm dữ liệu phiên bản mô hình EMF được đăng vào tài nguyên không gian làm việc. Hiện được hỗ trợ là tìm kiếm văn bản thường xuyên và tìm kiếm

  • PV Orientator Miễn phí

    Vị trí tế bào năng lượng mặt trời của bạn ở một góc tối ưu bất cứ lúc nào và bất cứ nơi nào trên thế giới.----------------------------------------------------------------------------------------------------------------- Việc

  • Eclipse Json Editor Plugin Miễn phí

    JSON Editor là một plugin đơn giản cho Eclipse IDE cung cấp: - Tô sáng văn bản màu - Dạng xem Cây Phác thảo - Xác thực JSON - Định dạng văn bản - Gấp văn bản cho định dạng dữ liệu JSON.

  • D-Addicts Browser Miễn phí

    D-Addict là nguồn đầu tiên của bộ phim truyền hình châu Á và chương trình truyền hình trên web: Nhật Bản, Hàn Quốc, Trung Quốc, Hồng Kông, Đài Loan, Singapore bộ phim truyền hình và chương trình truyền hình. Dễ dàng truy cập