ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. MCMAS-SC model checker

MCMAS-SC model checker

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

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

ประวัติรุ่น

  • เวอร์ชัน MCMAS-SC โพสต์เมื่อ 2011-01-25
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2011-01-25

รายละเอียดหลักสูตร

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

  • CHLone ฟรี

    ชุด CHLone เป็นแอปพลิเคชันการทําแผนที่ที่สอดคล้องกับ CGNS / SIDS ของ SIDS-to-HDF5 และมีอินเทอร์เฟซ 3 ระดับสําหรับการพัฒนาแอปพลิเคชัน เหล่านี้คือ:- โคลน CGNS / MLL, API เดียวกันกับ CGNS / MLL- A2 Application API ซึ่งเป็นส่

  • FactotumNOW IAS Reporting ทดลองใช้ฟรี

    FactotumNOW IAS Reporting นําเข้าไฟล์บันทึก IAS/RRAS (Microsoft VPN) ผ่านเอ็นจินที่สามารถติดตั้งลงในเซิร์ฟเวอร์ VPN/IAS ได้ สถิติ IAS (Microsoft®บริการรับรองความถูกต้องของอินเทอร์เน็ต) จะได้รับการอัปเดตโดยอัตโนมัติทุกสองนาที

  • Flash-Creator ทดลองใช้ฟรี

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

  • SAW (Small Artificial World) ฟรี

    SAW (โลกเทียมขนาดเล็ก) เป็นการจําลองวิวัฒนาการตามธรรมชาติ โลกมีประชากรโดยมนุษย์เทียมจํานวนมากที่สามารถโต้ตอบกันเพื่อการต่อสู้เพื่อความอยู่รอด มีการใช้อัลกอริทึมทางพันธุกรรมและเครือข่ายประสาท ชีววิทยาเป็นแรงบันดาลใจ

  • evids video intrusion detection system ฟรี

    Evids เป็นระบบตรวจจับการบุกรุกวิดีโอไคลเอ็นต์ / เซิร์ฟเวอร์ อัตโนมัติ ซอฟต์แวร์เฝ้าระวังให้การตรวจสอบวิดีโอที่เข้ามาเต็มเวลา สัญญาณ นอกจากนี้ Evids เป็นโครงการโอเพ่นซอร์สฟรีที่ทํางานบนหลาย ๆ รูปแบบแผ่นของ

  • Accessibility plugins for Liferay ฟรี

    วัตถุประสงค์ของ projet นี้คือการให้ชุดของส่วนขยาย (ปลั๊กอิน) เพื่อเพิ่มประสบการณ์การเข้าถึงบนพอร์ทัล Liferay

  • SynchroJet ทดลองใช้ฟรี

    SynchroJet เป็นโปรแกรมอรรถประโยชน์การสํารองข้อมูลและการซิงโครไนซ์ที่ใช้งานง่ายซึ่งสามารถทํางานกับแหล่งข้อมูลท้องถิ่น LAN, FTP / SSL ด้วย SynchroJet คุณสามารถซิงโครไนซ์ไฟล์สําคัญทั้งหมดระหว่างเซิร์ฟเวอร์เดสก์ท็อปแล็ปท็อป LAN F

  • ControlK ฟรี

    นี่เป็นปลั๊กอินที่ง่ายมากสําหรับ JEdit มันเพิ่มคุณสมบัติ Eclipse control-K นั่นคือ: ค้นหาการเกิดขึ้นครั้งต่อไปของข้อความที่เลือก

  • emulare ฟรี

    Emulare เป็นโปรแกรมจําลอง arduinoช่วยให้คุณสามารถเรียกใช้โปรแกรม arduino ในการจําลอง มีการสนับสนุนอย่างเต็มที่สําหรับอุปกรณ์ทั้งหมดบน Arduino Duemilanove มันมีอินเทอร์เฟซ GDB สําหรับการดีบัก มันมีส่วนต่อประสานกราฟิกที่สมบู

  • Music Shuffling ฟรี

    แอปพลิเคชั่น .net 3.5 ที่อนุญาตให้ผู้ใช้สลับเพลงใน ipod หรืออุปกรณ์อื่น ๆ คุณสมบัติที่สมบูรณ์ด้วยการเลือกไฟล์สุ่มและยังสลับไปต่อไฟล์