Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. Extended NuSMV

Extended NuSMV 1.1

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 2.5/5 - ‎8 ‎Oy
Indir

ETL ve APSL'nin sembolik model denetimini destekleyen NuSMV'un genişletilmiş bir sürümü

sürüm geçmişi

  • Sürüm enusmv%201.1 tarihinde gönderildi 2009-03-04
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm enusmv 1.1 tarihinde gönderildi 2009-03-04

Program Detayları

İlgili Programlar

  • Voice Widget Ücret -siz

    Tek bir tıklamayla Ses Kaydedici, Youtube, TV veya Radyo, Explorer veya Arama'yı başlatın.Telefonunuzun ses kaydedici, Youtube, TV veya radyo, explorer veya arama bağlamak için 2 güzel widget. Tasarım stili HTC Sense gibi.

  • ZIPCodeWorld Store Locator .NET Component Ücretsiz Deneme

    ZipCodeWorld Store Locator .NET tüm .NET geliştiricileri için bir mağaza bulucu kontrolüdür. Kendi Amerika Birleşik Devletleri veya Kanada mağaza bulucu hizmeti birkaç dakika içinde çalışır durumda olabilir. ZipCodeWorld Stor

  • Mobile Data On/Off Toggle Ücret -siz

    Mobil Veri Açma/Kapama Toggle SwitcherMobil Veri Açma/Kapama Toggle SwitcherMobil Veri OnOff Toggle anahtarı.- Bu yazılım gerekliliği Etkinleştir "Mobil veri" Sistem ayarlarında . Çok Basit Mobil Veri Kontrol Yazılı

  • OCF Resource Agent for SAP Ücret -siz

    SAP yazılımını Linux yüksek kullanılabilirlik kümesinde çalıştırmak için (Linux-HA projesi gibi) OCF (Açık Küme Çerçevesi) uyumlu kaynak aracıları sağlar.

  • Wintermute Engine DevKit Ücret -siz

    Wintermute Motor Geliştirme Kiti oluşturmak ve grafik nokta & tıklama macera oyunları, hem geleneksel 2D olanlar ve modern 2.5D oyunlar (2D arka planlar üzerinde 3D karakter) çalıştırmak için araçlar kümesidir.

  • Aginity Netezza Workbench Ücret -siz

    Aginity bir Netezza Çözüm Sağlayıcı ortağıdır. Workbench, Netezza cihazında büyük sistemler geliştirme konusundaki kapsamlı deneyimimizi desteklemek için özel araçlara olan ihtiyacımızdan doğmuştur. Workbench, diğer benzer ür

  • xUnit - Unit Testing Framework Ücret -siz

    xUnit bir XP tarzı birim test çerçevesidir. xUnit, test sonuçlarını görüntülemek için ön uç ile uygulamalara bağlı bir test sürücüsü arasında bir protokol kullanır - uygulama ve grafikler arasındaki bağlantı süresi bağımlılık

  • perf2rrd Ücret -siz

    perf2rrd, Nagios (R) izleme sistemi tarafından performans verisi çıktısını yakalayan ve RRDtool tarafından engellendiği şekilde yuvarlak robin veritabanı dosyalarında depolayan Java (tm) ile yazılmış bir programdır.

  • MisterHouse: Home Automation with Perl Ücret -siz

    MisterHouse, Perl'de yazılmış bir Windows/Unix ev otomasyon programıdır. Sesli komutlara, web tarayıcılarına, günün saatine, seri bağlantı noktasına ve X10 verilerine, harici dosyalara vb. yanıt verebilir ve Metinden Konuşma

  • IFM - Interface Management System Ücret -siz

    IFM (eski adıyla wxIFM), uygulamalarınız için takılabilir pencereler eklemek üzere tasarlanmış bir Arayüz Yönetimi kitaplığıdır ve arabiriminize günümüzün deneyimli bilgisayar kullanıcılarıtarafından talep edilen özelleştiril