Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. Triple-A

Triple-A 1.4.1

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

Triple-A (Automatic Analysis with Automata) adalah perpustakaan berfima lengkap untuk automata (terbatas) yang ditulis di Java dengan dua alat analisis yang kuat (berurusan dengan pengecekan model LTL dan aritmatika Presburger) dan antarmuka pengguna grafis yang dibangun di sekitarnya.

Riwayat versi

  • Versi 1_2_5_5 diposting di 2011-04-18
    Beberapa perbaikan dan pembaruan
  • Versi 1.4.1 diposting di 2007-05-13

Detil Program

Program Terkait

  • Parallel partition for string qsort/qsel Gratis

    Implementasi berurutan dan paralel dari string quicksorts(-select) . Artikel: Pada jumlah pencarian string di BSTs (dan algoritme terkait) dengan akses digital / Menggabungkan akses digital dan partisi paralel untuk quicksort

  • pgreplay Gratis

    Membaca file log database PostgreSQL, mengekstrak pernyataan SQL dan mengeksekusinya dalam urutan dan waktu yang sama terhadap server database lain. Berguna untuk tes kinerja dengan beban kerja dunia nyata.

  • ldapenum Gratis

    ldapenum adalah skrip perl yang dirancang untuk menghitung informasi sistem dan kata sandi dari pengontrol domain menggunakan layanan LDAP ketika IPC $ terkunci. Skrip telah diuji pada windows dan linux. Naskahnya masih dalam

  • F2Ashell Gratis

    Shell ini memungkinkan Anda untuk memiliki antarmuka teks yang mudah untuk menyelidiki kode Anda. Kode Anda harus terkait dengan pustaka DLL untuk berinteraksi dengan shell. Templat untuk mengimplementasikan ini disediakan. P

  • DataModeler Gratis

    PROYEK SEDANG DIKEMBANGKAN DENGAN NAMA YANG BERBEDA: Silakan kunjungi http://sourceforge.net/projects/modelbuilder/ Datamodeler memberi para ilmuwan dan insinyur possiblitas untuk menemukan model multivariat untuk setiap set

  • GFFT Gratis

    Implementasi Fast Fourier Transforms (FFT) yang sederhana dan efisien menggunakan desain berbasis kebijakan dan metaprogramming template di C++

  • SASUnit Gratis

    SASUnit adalah kerangka kerja pengujian unit untuk SAS(TM)-program. Ini dapat digunakan untuk pengembangan, eksekusi dan dokumentasi otomatis tes untuk program SAS. SASUnit ditulis murni atas dasar makro SAS dan beberapa peri

  • DomSQL Gratis

    Model Objek Dokumen Terstruktur Bahasa Kueri, berdasarkan PHP5 dan MySQL! Contoh: 'PILIH {body[0] innerCode} FROM {http://example.com}';

  • Stormtrooper Clock Widget Uji Coba Gratis

    Widget StormtrooperClock. Dengan lightsabers merah untuk menampilkan jam dan menit.Ukuran: 2 x 2Tambahkan ke homescreen sebagai widget.

  • ABIcheck binary compatibility tool Gratis

    ABIcheck adalah alat untuk memeriksakepatuhan terhadap Antarmuka Biner Aplikasi yang ditentukan perpustakaan(ABI). Ini bergantung pada informasi definisi ABI yang terkandung dalamPerpustakaan. Contoh definisi diberika