Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. STP

STP 1022

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 2.8/5 - ‎14 ‎Suara
Download

STP (Simple Theorem Prover): prosedur pelarut/keputusan batasan yang menerima rumus atau batasan yang dihasilkan oleh alat analisis program/pembuatan uji, pemeriksa model, penguat bug, alat verifikasi formal perangkat keras/perangkat lunak, fuzzer cerdas

Riwayat versi

  • Versi simplifyingSTP%20r1022 diposting di 2010-09-24
    Beberapa perbaikan dan pembaruan
  • Versi simplifyingSTP r1022 diposting di 2010-09-24

Detil Program

Program Terkait

  • Javascript and CSS compress utility Gratis

    Alat baris perintah untuk mengompresi dan mengaburi kode Javascript dan mengompres kode CSS. (Berdasarkan KJS -- Perpustakaan Javascript yang disertakan dalam KHTML.)

  • EasySnuffle Gratis

    EasySnuffle adalah alat pengukuran untuk menangkap pesan protokol, negara protokol internal, dan untuk mengukur kinerja implementasi pada node jaringan. Pemeriksaan pengukuran untuk UDP, IP, dan IEEE 802.11b MAC diimplementas

  • Open Streaming Server Gratis

    Buka Server Streaming adalah pengiriman media digital. Karakteristik utama adalah: - Streaming file MP4, 3gp, WMF, QT - Adaptasi Bandwidth Dinamis - Penyeimbangan beban - Teknologi distribusi konten: C ++, Java dan CORBA.

  • Chilkat Encryption .NET Component Uji Coba Gratis

    Chilkat Crypt .NET adalah komponen enkripsi canggih yang menawarkan kunci publik RSAenkripsi dengan tanda tangan digital serta algoritma enkripsi simetris termasukAES (Rijndael), Ikan Buntal, dan Twofish. Ini memberikan

  • Obfuscator for .NET framework Uji Coba Gratis

    Skater .NET Obfuscator adalah alat obfuscation untuk perlindungan kode .NET. Ini mengimplementasikan semua teknik perlindungan perangkat lunak yang dikenal dan algoritma obfuscation.Skater .NET Obfuscator adalah solusi prof

  • Angel USB Clock Vol.2 Gratis

    Mengubah ponsel Anda menjadi jam.Angel USB Clock adalah aplikasi yang mengubah ponsel Anda menjadi jam analog saat Anda&#39 baterai seluler Anda terisi daya.[Fitur]*Akan secara otomatis memulai sebagai jam, ketika b

  • EMF Search Plugin Gratis

    Plugin Pencarian EMF -- Plugin Eclipse 3.0 ini menyediakan halaman pencarian khusus untuk mencari data instans model EMF yang diserialisasikan ke sumber daya ruang kerja. Saat ini didukung adalah pencarian teks reguler dan pe

  • PV Orientator Gratis

    Posisikan sel surya Anda pada sudut optimal kapan saja dan di mana saja di dunia.----------------------------------------------------------------------------------------------------------------- Penggunaan Energi Surya telah

  • Eclipse Json Editor Plugin Gratis

    JSON Editor adalah plugin sederhana untuk Eclipse IDE yang menyediakan: - Penyorotan teks warna - Tampilan Pohon Kerangka - Validasi JSON - Pemformatan teks - Pelipatan teks untuk format data JSON.

  • D-Addicts Browser Gratis

    D-Addict adalah sumber pertama drama dan acara TV Asia di web: Jepang, Korea, Cina, Hong-Kong, Taiwan, drama Singapura, dan acara TV. Akses file terbaru D-Addicts dengan mudah, dan cari. Buka halaman di browser default untuk