MCMAS-C Model Checker

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

• MConvert - Multiformat Converter Miễn phí

  MConvert là một dự án mã nguồn mở nhằm phát triển một công cụ để chuyển đổi các tập tin. Bằng cách sử dụng các công cụ mã nguồn mở khác, MConvert muốn cung cấp một loạt các khả năng để chuyển đổi fileformats.

• WinCRC32 Miễn phí

  WINCRC32 sử dụng công nghệ CRC-32 để kiểm tra mỗi tập tin và thông báo cho bạn về bất kỳ có khả năng xấu, hỏng, không chính xác kích thước hoặc thiếu tập tin để giúp bạn tiết kiệm giờ tải về chỉ để tìm thấy bạn có 1 tập tin b

• Web Pictures Downloader Dùng thử miễn phí

  Web Pictures Downloader là một downloader hình ảnh internet để tải về hình ảnh, hình ảnh, hình ảnh, JPG, GIF từ web hoặc internet. Nó có thể truy cập các trang web yêu thích của bạn với tối đa 8 chủ đề cùng một lúc. Nó phân t

• A shoot'em up game for the Maemo Miễn phí

  Một shoot'em isometric lên trò chơi cho nền tảng Maemo. Ý tưởng cơ bản là tạo ra một trò chơi mà người chơi (hoặc người chơi) có thể tạo ra các nhân vật của riêng họ và phủ vào nhau hoặc kẻ thù điều khiển máy tính.

• SudokuGenerator in c++ and stl Miễn phí

  Sudoku câu đố máy phát điện mà tạo ra các câu đố Sudoku với một mức độ khó khăn nhất định. Các câu đố được tạo ra có một giải pháp độc đáo và có thể được giải quyết mà không cần quay lại hoặc đoán. Phần mềm này được viết bằng

• Oxygen Basic Miễn phí

  Trình biên dịch JIT có thể nhúng nhỏ gọn đọc tiêu đề C và biên dịch mã máy x86. Thực hiện trực tiếp trong bộ nhớ hoặc tạo ra DLL và exe tập tin. Hỗ trợ quá tải và OOP. Hiện có sẵn cho các nền tảng MS. Đang tiến hành 64bit

• Lua Conio Miễn phí

  Lua Conio là wrapper cho Turbo C conio, được sử dụng để tạo giao diện người dùng văn bản được phát triển bởi Gabriele Secci.

• Book Keeper System Miễn phí

  Một hệ thống quản lý thư viện đơn giản được viết bằng Java bằng cách sử dụng Struts + JSTL và JDBC. Một cách tiếp cận kiến trúc lớp cổ điển được sử dụng. Hiện nay các DAOs làm việc ra khỏi hộp với mySql.

• Counter Strike 1.6 File Miễn phí

  tlchargez des fichiers en mối quan hệ avec le serveur [TFS21] The Firefox Server

• Multimodal Engine Platform Miễn phí

  Hệ thống MME được trình bày như là một nhu cầu để giao tiếp giữa các thiết bị không đồng nhất và thiết lập giao tiếp giữa người dùng và ứng dụng bằng cách sử dụng các loại phương thức khác nhau.