MCTK: a symbolic model checker for MAS

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

• MedIC Automated Pipeline Scheduler ฟรี

  การขยายไปยังเฟรมเวิร์กปลั๊กอิน MIPAV (การประมวลผลภาพทางการแพทย์การวิเคราะห์และการแสดงภาพ) ที่ช่วยให้ผู้ใช้สามารถออกแบบและดําเนินการไปป์ไลน์ซึ่งเป็นงานการประมวลผลหลายขั้นตอน

• SmartHASH ฟรี

  SmartHASH เป็นเครื่องมือทางนิติวิทยาศาสตร์คอมพิวเตอร์ที่ออกแบบมาเพื่อนํางานคํารามออกจากกระบวนการวิเคราะห์ จึงช่วยประหยัดเวลาได้มากในด้านการวิเคราะห์ของการสืบสวนส่วนใหญ่

• Entropy ฟรี

  โครงการนี้ไม่ได้โฮสต์หรือปรับปรุงบน SOURCEFORGE อีกต่อไป

• Flash Authoring iPhone Components ฟรี

  ส่วนประกอบการเขียนแฟลชเพื่อช่วยในการพัฒนา iPhone คุณสามารถส่งอีเมลถึงฉัน[email protected]กับ Source Forge ID ของคุณคือคุณต้องการเข้าร่วมโครงการ

• Asp.net Web Utilities Framework ฟรี

  Asp.netยูทิลิตี้เว็บเพื่อช่วยฉัน (และอื่น ๆ ) ในโครงการในอนาคตของฉัน กรอบจะให้ชั้นเรียนที่เรียบง่ายและการควบคุมผู้ใช้ ฯลฯ สําหรับฟังก์ชั่นทั่วไป - กล่องและพร้อมที่จะขยาย (เป็น IS - ไม่มีการรับประกัน !!)

• DARKSTARgames Open Source Project ฟรี

  DARKSTARgames เป็นโครงการพัฒนาเกมงานอดิเรก เครื่องยนต์ 3D ของเราแม้จะถูกเผยแพร่เป็นโอเพ่นซอร์สพร้อมกับการเปิดตัวเกมมุ่งเป้าไปที่ 2007 อย่างไรก็ตามตอนนี้เรามีซอฟต์แวร์อยู่แล้วซึ่งอาจน่าสนใจสําหรับสาธารณะ

• Workgroup Manager ฟรี

  ตัวจัดการเวิร์กกรุ๊ป (WGM) เป็นเครื่องมือการจัดการเวิร์กกรุ๊ปของ Windows ที่ช่วยให้การจัดการผู้ใช้/กลุ่มระยะไกลและการเพิ่มประสิทธิภาพเวิร์กกรุ๊ป ผู้ใช้และกลุ่มสามารถเพิ่ม/แก้ไข/ลบและผู้ใช้สามารถเพิ่มลงในกลุ่มได้โดยการลากและวา

• ascentemu ฟรี

  Ascent เป็นแพคเกจซอฟต์แวร์เซิร์ฟเวอร์ที่ใช้ C ++ สําหรับ World of Warcraftพื้นที่เก็บข้อมูลนี้เป็นข้อมูลสํารองของโครงการ defunct ในขณะนี้มันถูกถูกแทนที่โดยอาร์เซมู

• Command-Line Argument Parser For Java ฟรี

  นี่คือไลบรารีสําหรับการแยกวิเคราะห์อาร์กิวเมนต์บรรทัดคําสั่งใน Java ได้อย่างง่ายดายด้วยวิธีที่วัตถุมุ่งเน้นโดยใช้ผู้ฟังและเหตุการณ์

• L2IrcBot ฟรี

  L2IrcBot เป็นการดําเนินการของ PircBot API เพื่อตรวจสอบสถานะออฟไลน์ของ Lineage 2-Servers ซึ่งกําหนดโดยไฟล์กําหนดค่าอย่างน้อยหนึ่งไฟล์