Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. Extended NuSMV

Extended NuSMV 1.1

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 2.5/5 - ‎8 ‎Suara
Download

Versi perluasan NuSMV, yang mendukung pemeriksaan model simbolis ETL dan APSL

Riwayat versi

  • Versi enusmv%201.1 diposting di 2009-03-04
    Beberapa perbaikan dan pembaruan
  • Versi enusmv 1.1 diposting di 2009-03-04

Detil Program

Program Terkait

  • Voice Widget Gratis

    Mulai Perekam Suara, Youtube, TV atau Radio, Explorer atau Cari dengan satu klik.2 widget indah untuk menautkan perekam suara ponsel Anda, Youtube, TV atau radio, explorer atau pencarian. Gaya desainnya seperti HTC Sense.

  • ZIPCodeWorld Store Locator .NET Component Uji Coba Gratis

    ZIPCodeWorld Store Locator .NET adalah kontrol pencari lokasi toko untuk semua pengembang .NET. Layanan pencari lokasi toko Amerika Serikat atau Kanada Anda sendiri dapat berjalan dalam beberapa menit. ZIPCodeWorld Store Loca

  • Mobile Data On/Off Toggle Gratis

    Data Seluler On/Off ToggleMobile Data On/Off Toggle switcherMobile Data On/Off Toggle switcherMobile Data OnOff Toggle switch.- Kebutuhan perangkat lunak ini Mengaktifkan "Data" seluler; dalam pengaturan Sistem . Per

  • OCF Resource Agent for SAP Gratis

    Menyediakan agen sumber daya yang mematuhi OCF (Open Cluster Framework), untuk menjalankan perangkat lunak SAP di klaster ketersediaan tinggi Linux (seperti proyek Linux-HA).

  • Wintermute Engine DevKit Gratis

    Wintermute Engine Development Kit adalah seperangkat alat untuk membuat dan menjalankan game petualangan titik grafis & klik, baik yang 2D tradisional maupun game 2,5D modern (karakter 3D pada latar belakang 2D).

  • Aginity Netezza Workbench Gratis

    Aginity adalah mitra Penyedia Solusi Netezza. Workbench lahir dari kebutuhan kami akan alat khusus untuk mendukung pengalaman kami yang luas mengembangkan sistem besar pada peralatan Netezza. Workbench menawarkan fitur unik d

  • xUnit - Unit Testing Framework Gratis

    xUnit adalah kerangka kerja pengujian unit gaya XP. xUnit menggunakan protokol antara front-end untuk menampilkan hasil pengujian dan driver pengujian yang ditautkan ke dalam aplikasi - menghapus dependensi waktu tautan antar

  • perf2rrd Gratis

    perf2rrd adalah program yang ditulis dalam Java (tm) yang menangkap output data kinerja oleh sistem pemantauan Nagios (R) dan menyimpannya dalam file database round robin seperti yang tidak dilemementasi oleh RRDtool.

  • MisterHouse: Home Automation with Perl Gratis

    MisterHouse adalah program otomasi rumah Windows / Unix yang ditulis dalam Perl. Ini dapat menanggapi perintah suara, browser web, waktu hari, port serial dan data X10, file eksternal, dll dan dapat berbicara melalui mesin Te

  • IFM - Interface Management System Gratis

    IFM (sebelumnya wxIFM) adalah perpustakaan Manajemen Antarmuka yang dirancang untuk menambahkan jendela yang dapat ditambatkan ke aplikasi Anda yang memberi antarmuka Anda penyesuaian yang diminta oleh pengguna komputer berpe