Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. Triple-A

Triple-A 1.4.1

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

Triple-A (Automata ile Otomatik Analiz) iki güçlü analiz araçları (LTL model kontrol ve Presburger aritmetik ile ilgili) ve etrafında inşa edilmiş bir grafik kullanıcı arayüzü ile Java yazılmış (sonlu) otomat için tam özellikli bir kütüphanedir.

sürüm geçmişi

  • Sürüm 1_2_5_5 tarihinde gönderildi 2011-04-18
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm 1.4.1 tarihinde gönderildi 2007-05-13

Program Detayları

İlgili Programlar

  • Parallel partition for string qsort/qsel Ücret -siz

    String quicksorts(-select) sıralı ve paralel uygulama. Makaleler: Dijital erişimile BSTs (ve ilgili algoritmalar) dize arama sayısı / Hızlı sıralama ve hızlı seçim için dijital erişim ve paralel bölüm birleştirme.

  • pgreplay Ücret -siz

    PostgreSQL veritabanı günlük dosyasını okur, SQL deyimlerini ayıklar ve bunları başka bir veritabanı sunucusuna karşı aynı sıra ve zamanlamayla yürütür. Gerçek iş yüküne sahip performans testleri için yararlıdır.

  • ldapenum Ücret -siz

    Ldapenum, IPC$ kilitlendiğinde LDAP hizmetini kullanan etki alanı denetleyicilerinden gelen sistem ve parola bilgilerini sayısallaştırmak için tasarlanmış bir perl komut dosyasıdır. Komut dosyası windows ve linux üzerinde tes

  • F2Ashell Ücret -siz

    Bu Kabuk, kodunuzu araştırmak için kolay bir metin arabirimine sahip olmasını sağlar. Kodunuzun kabukla etkileşimde olabilmesi için bir DLL kitaplığıyla ilgili olması gerekir. Bunu uygulamak için bir şablon sağlanır. Proje WE

  • DataModeler Ücret -siz

    PROJE FARKLI Bİr İsİm ALTINDA GELİşİyor: Lütfen http://sourceforge.net/projects/modelbuilder/ Datamodeler'ı ziyaret edin, bilim adamlarına ve mühendislere her iki sinin de ne kadar karmaşık veya büyük olabileceği gibi herhang

  • GFFT Ücret -siz

    C++'da politika tabanlı tasarım ve şablon metaprogramlamakullanarak genel basit ve verimli Fast Fourier Transforms (FFT) uygulaması

  • SASUnit Ücret -siz

    SASUnit, SAS(TM)-programları için bir birim test çerçevesidir. SAS programları için testlerin geliştirilmesi, yürütülmesi ve otomatik olarak belgelenmesi için kullanılabilir. SASUnit tamamen SAS makroları ve birkaç kabuk komu

  • DomSQL Ücret -siz

    PHP5 ve MySQL tabanlı Belge NesneSi Model Yapılandırılmış Sorgu Dili! Örnek: 'SELECT {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Ücretsiz Deneme

    Bir StormtrooperClock Widget. Saat ve dakika görüntülemek için kırmızı ışın kılıcı ile.Boyut: 2 x 2Ana ekrana widget olarak ekleyin.

  • ABIcheck binary compatibility tool Ücret -siz

    ABIcheck bir uygulamanın kontrol etmek için bir araçtırkitaplığın tanımlı Uygulama İkili Arabirimi ile uyumluluk(ABI). Bu belgede yer alan ABI tanım bilgilerine dayanır.Kitaplığı. GNOME ve glibc için örnek tanımlar ve