ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. Extended NuSMV

Extended NuSMV 1.1

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

รุ่นขยายของ NuSMV ซึ่งรองรับการตรวจสอบรูปแบบสัญลักษณ์ของ ETL และ APSL

ประวัติรุ่น

  • เวอร์ชัน enusmv%201.1 โพสต์เมื่อ 2009-03-04
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน enusmv 1.1 โพสต์เมื่อ 2009-03-04

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

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

  • Voice Widget ฟรี

    เริ่มเครื่องบันทึกเสียง, Youtube, TV หรือวิทยุ, Explorer หรือค้นหาได้ในคลิกเดียววิดเจ็ตที่สวยงาม 2 ตัวเพื่อเชื่อมโยงเครื่องบันทึกเสียงโทรศัพท์ของคุณ Youtube ทีวีหรือวิทยุสํารวจหรือค้นหา สไตล์การออกแบบเป็นเหมือน HTC Senseส

  • ZIPCodeWorld Store Locator .NET Component ทดลองใช้ฟรี

    ZIPCodeWorld Store Locator .NET เป็นตัวควบคุมตัวระบุตําแหน่งร้านค้าสําหรับนักพัฒนา .NET ทั้งหมด บริการค้นหาร้านค้าในสหรัฐอเมริกาหรือแคนาดาของคุณเองสามารถทํางานได้ภายในไม่กี่นาที ZIPCodeWorld Store Locator .NET ให้ตัวควบคุมการ

  • Mobile Data On/Off Toggle ฟรี

    ข้อมูลมือถือเปิด / ปิดสลับข้อมูลเปิด / ปิดสลับสลับข้อมูลเปิด / ปิดสวิตช์สลับสลับข้อมูล OnOff - ซอฟต์แวร์นี้จําเป็นต้องเปิดใช้งาน & quot;ข้อมูลมือถือ & quot; ในการตั้งค่าระบบ . ซอฟต์แวร์ควบคุมข้อมูลมือถือที่ง่ายมาก! สน

  • OCF Resource Agent for SAP ฟรี

    ให้ตัวแทนทรัพยากรที่เข้ากันได้กับ OCF (Open Cluster Framework) เพื่อเรียกใช้ซอฟต์แวร์ SAP ในคลัสเตอร์ความพร้อมใช้งานสูงของ Linux (เช่นโครงการ Linux-HA)

  • Wintermute Engine DevKit ฟรี

    Wintermute Engine Development Kit เป็นชุดเครื่องมือสําหรับการสร้างและใช้งานเกมผจญภัยแบบจุดกราฟิกและคลิกทั้งเกม 2D แบบดั้งเดิมและเกม 2.5D ที่ทันสมัย (ตัวละคร 3 มิติบนพื้นหลัง 2 มิติ)

  • Aginity Netezza Workbench ฟรี

    Aginity เป็นพันธมิตรผู้ให้บริการโซลูชัน Netezza Workbench เกิดจากความต้องการเครื่องมือเฉพาะของเราเพื่อสนับสนุนประสบการณ์ที่กว้างขวางของเราในการพัฒนาระบบขนาดใหญ่บนเครื่องใช้ Netezza Workbench มีคุณสมบัติที่เป็นเอกลักษณ์ระหว่าง

  • xUnit - Unit Testing Framework ฟรี

    xUnit เป็นกรอบการทดสอบหน่วยลักษณะ XP xUnit ใช้โพรโทคอลระหว่างส่วนหน้าเพื่อแสดงผลลัพธ์การทดสอบและโปรแกรมควบคุมการทดสอบที่เชื่อมโยงกับโปรแกรมประยุกต์ - การเอาการขึ้นต่อกันของเวลาการเชื่อมโยงระหว่างโปรแกรมประยุกต์และกราฟิกไลบราร

  • perf2rrd ฟรี

    perf2rrd เป็นโปรแกรมที่เขียนใน Java (tm) ซึ่งจับเอาต์พุตข้อมูลประสิทธิภาพโดยระบบตรวจสอบ Nagios (R) และจัดเก็บไว้ในไฟล์ฐานข้อมูลโรบินกลมเป็น implememented โดย RRDtool

  • MisterHouse: Home Automation with Perl ฟรี

    MisterHouse เป็นโปรแกรมระบบอัตโนมัติภายในบ้านของ Windows/Unix ที่เขียนใน Perl มันสามารถตอบสนองต่อคําสั่งเสียงเว็บเบราว์เซอร์เวลาของวันพอร์ตอนุกรมและข้อมูล X10 ไฟล์ภายนอก ฯลฯ และสามารถพูดผ่านเครื่องมือ Text to Speech

  • IFM - Interface Management System ฟรี

    IFM (เดิมชื่อ wxIFM) เป็นไลบรารีการจัดการอินเทอร์เฟซที่ออกแบบมาเพื่อเพิ่มหน้าต่างที่เทียบชิดขอบให้กับแอปพลิเคชันของคุณทําให้อินเทอร์เฟซของคุณสามารถปรับแต่งได้ตามต้องการโดยผู้ใช้คอมพิวเตอร์ที่มีประสบการณ์ในปัจจุบัน