equ-iitg formal equivalence checker 1.2

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

• ArmedBear / J Miễn phí

  ArmedBear (ABCL) là một Lisp thông thường được viết bằng Java. Trình biên dịch của nó tạo ra mã byte JVM, khai thác vào triết lý 'viết một lần, chạy ở khắp mọi nơi' của Java. J là một trình soạn thảo văn bản được viết bằng Ja

• Integrated PearPC GUI Miễn phí

  IPG là tích hợp PearPC GUI, cho phép bạn cấu hình và chạy giả lập PearPC trong một giao diện dựa trên Windows.

• wxWindows Project Manager for VC7 Miễn phí

  Một tập hợp các công cụ để đơn giản hóa việc sử dụng wxWindows với Visual C ++ 7.

• flam3 editor Miễn phí

  Flam3 Editor được xây dựng xung quanh gói phần mềm FLAM3 truyền thống. Trình soạn thảo cho phép bạn tải, chỉnh sửa và lưu các ngọn lửa phân dạng đệ quy vũ trụ, như cừu điện hoặc các tệp apophysis, nó xử lý các tệp tham số xml

• InvisiBright Free Dùng thử miễn phí

  ** Nếu bạn thích ứng dụng này, xin vui lòng xem xét việc thử phiên bản Pro :) **InvisiBright là một tiện ích điều chỉnh độ sáng vô hình. Điều chỉnh từ bên trong bất kỳ ứng dụng nào bằng cách vuốt qua màn hình hoặc nghiêng

• serverM - a powerful host-based IDS Miễn phí

  serverM là một hệ thống phát hiện xâm nhập dựa trên máy chủ dựa trên chữ ký cực kỳ linh hoạt (HIDS). Chạy như một daemon Perl, nó sử dụng CPU nhỏ, và có khả năng phát hiện một loạt các xâm nhập. Ngôn ngữ chữ ký là mạnh mẽ và

• Eclipse SpringIDE Extensions Miễn phí

  Phần mở rộng cho dự án SpringIDE (xem springide-eclip và springframework).Hiện nay bao gồm: Lớp (di chuyển / đổi tên) và phương pháp (đổi tên) refactoring người tham gia, hỗ trợ tìm kiếm và 'sửa chữa nhanh chóng' đóng góp.

• Generic Entity Manager Miễn phí

  Trình quản lý thực thể trò chơi chung được viết bằng C++ với các ràng buộc Lua. Trong giai đoạn đầu hệ thống thực thể trò chơi ATM. - Hiện đang tìm kiếm các thành viên dự án bổ sung.

• ajaxnet4j Miễn phí

  ajaxnet4j là một thực hiện Java của thư viện Ajax.NET Professional nổi tiếng. Với sự trợ giúp của nó, bạn có thể tập trung vào logic kinh doanh phía máy chủ và trải nghiệm người dùng phía máy khách và không phải dành nhiều th

• NSketch, .Net sketch-based algorithms Miễn phí

  Thư viện NSketch cung cấp việc triển khai các thuật toán dựa trên phác thảo phổ biến nhất (biểu đồ tần suất, quantile, các mục thường xuyên, bộ lọc hoa ...). Thư viện được viết bằng C# cho .Net.