ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. MCMAS-C Model Checker
  5. Download

MCMAS-C Model Checker

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต

เกี่ยวกับ MCMAS-C Model Checker

MCMAS-C เป็นส่วนขยายของตัวตรวจสอบรุ่น MCMAS ที่มีชื่อเสียงที่สุดซึ่งถูกนํามาใช้เพื่อตรวจสอบระบบหลายตัวแทน ส่วนขยายของเราเกี่ยวข้องกับการตรวจสอบภาระผูกพันทางสังคมที่เจ้าหน้าที่สามารถสร้างและปฏิบัติตามได้ มันเป็นตัวตรวจสอบรุ่นสําหรับตรรกะ CTLC

หลักสูตรที่เกี่ยวข้อง

  • MConvert - Multiformat Converter ฟรี

    MConvert เป็นโครงการโอเพ่นซอร์สซึ่งมีวัตถุประสงค์เพื่อพัฒนาเครื่องมือสําหรับการแปลงไฟล์ ด้วยการใช้เครื่องมือโอเพ่นซอร์สอื่น ๆ MConvert ต้องการให้ความเป็นไปได้ที่หลากหลายสําหรับการแปลงรูปแบบไฟล์

  • WinCRC32 ฟรี

    WINCRC32 ใช้เทคโนโลยี CRC-32 เพื่อตรวจสอบแต่ละไฟล์และแจ้งให้คุณทราบถึงไฟล์ที่อาจเป็นอันตรายเสียหายขนาดไม่ถูกต้องหรือไฟล์ที่หายไปเพื่อช่วยให้คุณประหยัดเวลาในการดาวน์โหลดเท่านั้นเพื่อค้นหาว่าคุณมีไฟล์หายไป 1 ไฟล์หรือไฟล์สุดท้าย

  • Web Pictures Downloader ทดลองใช้ฟรี

    Web Pictures Downloader เป็นตัวดาวน์โหลดรูปภาพอินเทอร์เน็ตเพื่อดาวน์โหลดรูปภาพรูปถ่ายรูปภาพ JPG GIF จากเว็บหรืออินเทอร์เน็ต มันสามารถเข้าถึงเว็บไซต์ที่คุณชื่นชอบได้สูงสุด 8 เธรดพร้อมกัน มันวิเคราะห์โครงสร้างของเว็บไซต์ค้นหารู

  • A shoot'em up game for the Maemo ฟรี

    เกมยิง isometric'em ขึ้นสําหรับแพลตฟอร์มแม่โม่ แนวคิดพื้นฐานคือการสร้างเกมที่ผู้เล่น (หรือผู้เล่น) สามารถสร้างตัวละครของตัวเองและต่อสู้กับศัตรูที่ควบคุมด้วยคอมพิวเตอร์หรือกันและกัน

  • SudokuGenerator in c++ and stl ฟรี

    เครื่องกําเนิดปริศนาซูโดกุที่สร้างปริศนาซูโดกุด้วยระดับความยากที่กําหนด ปริศนาที่สร้างขึ้นมีทางออกที่ไม่ซ้ํากันและสามารถแก้ไขได้โดยไม่ต้องย้อนรอยหรือคาดเดา ซอฟต์แวร์ที่เขียนใน c ++ โดยใช้ stl สําหรับแพลตฟอร์ม Windows

  • Oxygen Basic ฟรี

    คอมไพเลอร์ JIT ที่ฝังได้ขนาดกะทัดรัดที่อ่านส่วนหัว C และคอมไพล์ไปยังรหัสเครื่อง x86 ดําเนินการโดยตรงในหน่วยความจําหรือสร้างไฟล์ DLLs และ EXE รองรับการโอเวอร์โหลดและ OOP พร้อมใช้งานสําหรับแพลตฟอร์ม MS ในปัจจุบัน กําลังดําเนินก

  • Lua Conio ฟรี

    Lua Conio เป็นกระดาษห่อสําหรับ Turbo C conio ซึ่งใช้ในการสร้างส่วนต่อประสานผู้ใช้ข้อความที่พัฒนาโดย Gabriele Secci

  • Book Keeper System ฟรี

    ระบบการจัดการห้องสมุดที่เรียบง่ายที่เขียนใน Java โดยใช้ Struts + JSTL และ JDBC ใช้วิธีการสถาปัตยกรรมแบบคลาสสิก ปัจจุบัน DAOs ทํางานออกจากกล่องด้วย mySql

  • Counter Strike 1.6 File ฟรี

    เครื่องดับเพลิงของ Rapport avec le serveur [TFS21] เซิร์ฟเวอร์ Firefox

  • Multimodal Engine Platform ฟรี

    ระบบ MME ถูกนําเสนอเป็นความจําเป็นในการสื่อสารระหว่างอุปกรณ์ที่แตกต่างกันและสร้างการสื่อสารระหว่างผู้ใช้และแอปพลิเคชันโดยใช้กิริยาประเภทต่างๆ