Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. Analyzer Component Framework

Analyzer Component Framework 0.1

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.7/5 - ‎3 ‎Suara
Download

ACF adalah kerangka kerja untuk menulis pemeriksa model. ACF dibangun berdasarkan pengamatan mendasar bahwa struktur sebagian besar algoritma pengecekan model independen dari formalisme yang digunakan untuk menggambarkan sistem.

Riwayat versi

  • Versi 0.1 diposting di 2000-03-21
    Beberapa perbaikan dan pembaruan
  • Versi 0.1 diposting di 2000-03-21

Detil Program

Program Terkait

  • LEP Gratis

    Melek Eclipse Programming membantu pengembang dalam menulis kode sumber terstruktur dan terdokumentasi dengan baik. LEP mengintegrasikan ekstraksi otomatis kode sumber dan dokumentasi ke dalam lingkungan gerhana yang akrab. K

  • BakerBots Gratis

    Ini adalah Baker College, aplikasi yang dikembangkan magang untuk menjalankan bot sebagai avatar di Second Life, OpenSim, dll. Ini bergantung pada Program # untuk pemrosesan AIML dan libOpenMetaverse untuk fungsionalitas brow

  • Survival Medicine Guide Uji Coba Gratis

    "Membutuhkan Pembaca Adobe Gratis"****Ini adalah panduan obat bertahan hidup jika apa yang kita semua takut benar-benar terjadi. Ini adalah pujian besar untuk setiap manual kelangsungan hidup yang baik. Info ini mungkin t

  • Universal Maths Conversion Library Gratis

    Perpustakaan UMCL menyediakan satu API kepada pengembang aplikasi yang mengharuskan konversi antara format Matematika yang berbeda dan terutama notasi spesifik Braille.

  • Bhagavad Gita(YaBG) Gratis

    YaBG - Namun lain "Bhagavad Gita" aplikasi. Aplikasi ini memungkinkan Anda untuk membaca seluruh gita bhagavad tanpa gangguan; tidak ada iklan, tidak ada pop up yang menyakitkan; benar-benar gratis dan tidak ada yan

  • PONS German PREMIUM Uji Coba Gratis

    Kamus PONS Bahasa Jerman sebagai PREMIUM bahasa asing adalah dengan 77.000 kata kunci, frasa dan konstruksi dan lebih dari 125.000 definisi dan contoh alat referensi standar paling komprehensif oleh PONS. Apakah Anda belajar

  • jQuantum Gratis

    jQuantum adalah program Java untuk mensimulasikan komputer kuantum, merancang sirkuit kuantum, dan untuk memvisualisasikan eksekusi algoritma kuantum. Tujuan utama lainnya, bagaimanapun, adalah untuk membuat gambar di kepala

  • FlameBitmaps Gratis

    Menghitung bitmap skala 2D-Abu-Abu Perhitungan tubuh rotasi 3D membentuk area yang terdeteksi dengan menggunakan algoritme pemrosesan gambar yang berbeda. Dikembangkan untuk German Aerospace Center (DLR). Proyek Bekas: Substa

  • fropho Gratis

    fropho menghitung sifat phonon dalam kristal, yang didasarkan pada metode Parlinski-Li-Kawazoe. Informasi kekuatan yang bertindak pada atom ketika atom terlantar diperlukan sebagai informasi input. Fropho akan digantikan oleh

  • FSMPP - Finite State Machines in C++ Gratis

    FSMPP adalah perpustakaan yang menyediakan kerangka kerja sederhana, ringan, dan intuitif untuk membangun Mesin Negara Terbatas di C++.