Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Extended NuSMV
  5. Download

Extended NuSMV 1.1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 2.5/5 - ‎8 ‎Undi

Tentang Extended NuSMV

Versi lanjutan NuSMV, yang menyokong pemeriksaan model simbolik ETL dan APSL

Atur Cara Berkaitan

  • Voice Widget Percuma

    Mulakan Perakam Suara, Youtube, TV atau Radio, Explorer atau Cari dengan satu klik.2 widget yang indah untuk memautkan perakam suara telefon anda, Youtube, TV atau radio, peneroka atau carian. Gaya reka bentuk adalah sepert

  • ZIPCodeWorld Store Locator .NET Component Percubaan Percuma

    ZIPCodeWorld Store Locator .NET adalah kawalan pengesan kedai untuk semua pemaju .NET. Perkhidmatan pencari kedai Amerika Syarikat atau Kanada anda sendiri boleh berjalan dan berjalan dalam masa beberapa minit. ZIPCodeWorld S

  • Mobile Data On/Off Toggle Percuma

    Data Mudah Alih Hidup/MatiKan TogleMobile Data Hidup/Off Toggle switcherMobile Data Hidup/Off Toggle switch OnOff Toggle.- Perisian ini keperluan Mendayakan & memetik data mudah alih;sebut harga data mudah alih; dalam tet

  • OCF Resource Agent for SAP Percuma

    Menyediakan OCF (Kerangka Kluster Terbuka) ejen sumber yang patuh, untuk menjalankan perisian SAP dalam kelompok ketersediaan tinggi Linux (seperti projek Linux-HA).

  • Wintermute Engine DevKit Percuma

    Wintermute Engine Development Kit adalah satu set alat untuk mencipta dan menjalankan permainan pengembaraan grafik, kedua-dua yang tradisional 2D dan permainan 2.5D moden (aksara 3D pada latar belakang 2D).

  • Aginity Netezza Workbench Percuma

    Aginiti adalah rakan kongsi Pembekal Penyelesaian Netezza. Workbench dilahirkan daripada keperluan kami untuk alat tertentu untuk menyokong pengalaman luas kami membangunkan sistem besar pada perkakas Netezza. Workbench menaw

  • xUnit - Unit Testing Framework Percuma

    xUnit adalah rangka kerja ujian unit gaya XP. xUnit menggunakan protokol antara front-end untuk memaparkan keputusan ujian dan pemandu ujian yang dikaitkan dengan aplikasi - mengeluarkan kebergantungan masa pautan antara apli

  • perf2rrd Percuma

    perf2rrd adalah program yang ditulis di Jawa (tm) yang menangkap output data prestasi oleh sistem pemantauan Nagios (R) dan menyimpannya dalam fail pangkalan data robin bulat seperti yang disebut oleh RRDtool.

  • MisterHouse: Home Automation with Perl Percuma

    MisterHouse adalah program automasi rumah Windows/Unix yang ditulis di Perl. Ia boleh bertindak balas kepada arahan suara, pelayar web, masa hari, port siri dan data X10, fail luaran, dan lain-lain dan boleh bercakap melalui

  • IFM - Interface Management System Percuma

    IFM (dahulunya wxIFM) adalah perpustakaan Interface Management yang direka untuk menambah tetingkap dok pada aplikasi anda memberikan antara muka anda kebolehsuaian yang dituntut oleh pengguna komputer yang berpengalaman hari