Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Triple-A
  5. Download

Triple-A 1.4.1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi

Tentang Triple-A

Triple-A (Analisis Automatik dengan Automata) adalah perpustakaan yang diketengahkan sepenuhnya untuk (terbatas) automatik yang ditulis di Jawa dengan dua alat analisis berkuasa (berurusan dengan pemeriksaan model LTL dan aritmetik Presburger) dan antara muka pengguna grafik yang dibina di sekelilingnya.

Atur Cara Berkaitan

  • Parallel partition for string qsort/qsel Percuma

    Pelaksanaan berjujukan dan selari rentetan cepat (-pilih) . Artikel: Mengenai bilangan carian rentetan dalam BSTs (dan algoritma yang berkaitan) dengan akses digital / Menggabungkan akses digital dan partition selari untuk ce

  • pgreplay Percuma

    Membaca fail log pangkalan data PostgreSQL, mengekstrak pernyataan SQL dan melaksanakannya dalam susunan dan masa yang sama terhadap pelayan pangkalan data yang lain. Berguna untuk ujian prestasi dengan beban kerja dunia sebe

  • ldapenum Percuma

    ldapenum adalah skrip perl yang direka untuk mengumpul maklumat sistem dan kata laluan daripada pengawal domain menggunakan perkhidmatan LDAP apabila IPC $ dikunci. Skrip telah diuji pada tingkap dan linux. Skrip masih di awa

  • F2Ashell Percuma

    Shell ini membolehkan anda mempunyai antara muka teks yang mudah untuk menyiasat kod anda. Kod anda mestilah berkaitan dengan pustaka DLL untuk berinteraksi dengan cangkerang. Templat untuk melaksanakannya disediakan. Projek

  • DataModeler Percuma

    PROJEK SEDANG DIBANGUNKAN DI BAWAH NAMA YANG BERBEZA: Sila lawati http://sourceforge.net/projects/modelbuilder/ Datamodeler memberikan saintis dan jurutera yang mungkin untuk mencari mana-mana model multivariate untuk sebaran

  • GFFT Percuma

    Pelaksanaan Fast Fourier Transforms (FFT) generik yang mudah dan cekap menggunakan reka bentuk berasaskan dasar dan metaprogrammememeing template dalam C++

  • SASUnit Percuma

    SASUnit adalah rangka kerja pengujian unit untuk program SAS(TM). Ia boleh digunakan untuk pembangunan, pelaksanaan dan dokumentasi automatik ujian untuk program SAS. SASUnit ditulis semata-mata atas dasar makro SAS dan beber

  • DomSQL Percuma

    Model Objek Dokumen Bahasa Pertanyaan Berstruktur , berdasarkan PHP5 dan MySQL! Contoh: 'SELECT {body[0] innerCode} DARIPADA {http://example.com}';

  • Stormtrooper Clock Widget Percubaan Percuma

    A StormtrooperClock Widget. Dengan lampu merah untuk memaparkan jam dan minit.Saiz: 2 x 2Tambah ke homescreen sebagai widget.

  • ABIcheck binary compatibility tool Percuma

    ABIcheck adalah alat untuk menyemak aplikasipematuhan kepada Antara Muka Perduaan Aplikasi yang ditakrifkan oleh perpustakaan(ABI). Ia bergantung kepada maklumat definisi ABI yang terkandung dalamPerpustakaan. Definis