Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Triple-A

Triple-A 1.4.1

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

Triple-A (Phân tích tự động với Automata) là một thư viện đầy đủ tính năng cho (hữu hạn) automata được viết bằng Java với hai công cụ phân tích mạnh mẽ (đối phó với kiểm tra mô hình LTL và số học Presburger) và một giao diện người dùng đồ họa được xây dựng xung quanh nó.

lịch sử phiên bản

  • Phiên bản 1_2_5_5 đăng trên 2011-04-18
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 1.4.1 đăng trên 2007-05-13

Chi tiết chương trình

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

  • Parallel partition for string qsort/qsel Miễn phí

    Thực hiện tuần tự và song song của chuỗi quicksorts(-chọn) . Bài viết: Về số lượng tra cứu chuỗi trong BSTs (và các thuật toán liên quan) với truy cập kỹ thuật số / Kết hợp truy cập kỹ thuật số và phân vùng song song cho quic

  • pgreplay Miễn phí

    Đọc tệp nhật ký cơ sở dữ liệu PostgreSQL, trích xuất các câu lệnh SQL và thực thi chúng theo thứ tự và thời gian đối với một máy chủ cơ sở dữ liệu khác. Hữu ích cho các bài kiểm tra hiệu suất với khối lượng công việc trong th

  • ldapenum Miễn phí

    ldapenum là một kịch bản perl được thiết kế để liệt kê thông tin hệ thống và mật khẩu từ bộ điều khiển vùng bằng cách sử dụng dịch vụ LDAP khi IPC $ bị khóa. Kịch bản đã được thử nghiệm trên cửa sổ và Linux. Kịch bản vẫn còn

  • F2Ashell Miễn phí

    Shell này cho phép bạn có một giao diện văn bản dễ dàng để thăm dò mã của bạn. Mã của bạn phải liên quan đến một thư viện DLL để tương tác với trình bao. Một mẫu để thực hiện điều này được cung cấp. Dự án WEB: Http://sites.go

  • DataModeler Miễn phí

    DỰ ÁN ĐANG ĐƯỢC PHÁT TRIỂN DƯỚI MỘT TÊN KHÁC: Vui lòng truy cập http://sourceforge.net/projects/modelbuilder/ Datamodeler cung cấp cho các nhà khoa học và kỹ sư khả năng tìm thấy bất kỳ mô hình đa biến nào cho bất kỳ tập dữ l

  • GFFT Miễn phí

    Chung đơn giản và hiệu quả nhanh Fourier Transforms (FFT) thực hiện bằng cách sử dụng dựa trên chính sách thiết kế và mẫu metaprogramming trong C ++

  • SASUnit Miễn phí

    SASUnit là một khuôn khổ thử nghiệm đơn vị cho SAS (TM) -chương trình. Nó có thể được sử dụng cho việc phát triển, thực hiện và tài liệu tự động của các bài kiểm tra cho các chương trình SAS. SASUnit được viết hoàn toàn trên

  • DomSQL Miễn phí

    Mô hình đối tượng tài liệu Ngôn ngữ truy vấn có cấu trúc, dựa trên PHP5 và MySQL! Ví dụ: 'CHỌN {body[0] innerCode} TỪ {http://example.com}';

  • Stormtrooper Clock Widget Dùng thử miễn phí

    Một Widget StormtrooperClock. Với đèn đỏ để hiển thị giờ và phút.Kích thước: 2 x 2Thêm vào màn hình chính dưới dạng tiện ích con.

  • ABIcheck binary compatibility tool Miễn phí

    ABIcheck là một công cụ để kiểm tratuân thủ giao diện nhị phân ứng dụng được xác định của thư viện(ABI). Nó dựa trên thông tin định nghĩa ABI chứa trongThư viện. Định nghĩa ví dụ được đưa ra cho GNOME và glibc.