Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. STP

STP 1022

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 2.8/5 - ‎14 ‎Undi
Muat turun

STP (Peribahasa Teorem Mudah): prosedur pelarut / keputusan kekangan yang menerima formula atau kekangan yang dihasilkan oleh analisis program / alat penjanaan ujian, pemeriksa model, pencari pepijat, alat pengesahan formal perkakasan / perisian, kabur pintar

sejarah versi

  • Versi simplifyingSTP%20r1022 diposkan pada 2010-09-24
    Beberapa pembaikan dan pengemaskinian
  • Versi simplifyingSTP r1022 diposkan pada 2010-09-24

Butiran Atur Cara

Atur Cara Berkaitan

  • Javascript and CSS compress utility Percuma

    Alat baris perintah untuk memampatkan dan mengelirukan kod Javascript dan memampatkan kod CSS. (Berdasarkan KJS -- Perpustakaan Javascript termasuk dalam KHTML.)

  • EasySnuffle Percuma

    EasySnuffle adalah alat pengukur untuk menangkap mesej protokol, protokol dalaman menyatakan dan untuk mengukur prestasi pelaksanaan pada nod rangkaian. Mengukur siasatan untuk UDP, IP dan IEEE 802.11b MAC dilaksanakan.

  • Open Streaming Server Percuma

    Buka Pelayan Penstriman adalah penghantaran media digital. Ciri-ciri utama adalah: - Penstriman mp4, 3gp, WMF, fail QT - Penyesuaian Jalur Lebar Dinamik - Mengimbangi Beban - Teknologi pengedaran kandungan: C++, Java dan CORB

  • Chilkat Encryption .NET Component Percubaan Percuma

    Chilkat Crypt .NET adalah komponen penyulitan lanjutan yang menawarkan kedua-dua kunci awam RSApenyulitan dengan tandatangan digital serta algoritma penyulitan simetrik termasukAES (Rijndael), Blowfish, dan Twofish. Ia

  • Obfuscator for .NET framework Percubaan Percuma

    Skater .NET Obfuscator adalah alat kekeliruan untuk perlindungan kod .NET. Ia melaksanakan semua teknik perlindungan perisian yang diketahui dan algoritma kekeliruan.Skater .NET Obfuscator adalah penyelesaian profesional ya

  • Angel USB Clock Vol.2 Percuma

    Bertukar telefon bimbit anda ke dalam jam.Jam USB Malaikat adalah aplikasi yang menjadikan telefon bimbit anda menjadi jam analog semasa anda &#39 mempunyai bateri mudah alih anda dicas.[Ciri-ciri]*Akan dimulakan se

  • EMF Search Plugin Percuma

    EMF Search Plugin -- Plugin Gerhana 3.0 ini menyediakan halaman carian khusus untuk mencari model EMF contoh data yang disiri untuk sumber ruang kerja. Pada masa ini disokong adalah carian teks biasa dan carian XPath (menggun

  • PV Orientator Percuma

    Letakkan sel solar anda pada sudut optimum pada bila-bila masa dan di mana sahaja di dunia.-----------------------------------------------------------------------------------------------------------------Penyawaan Tenaga Suri

  • Eclipse Json Editor Plugin Percuma

    Editor JSON adalah plugin mudah untuk IDE Gerhana yang menyediakan: - Teks warna yang menonjolkan - Paparan Pokok Garis Besar - Pengesahan JSON - Pemformatan teks - Teks lipatan untuk format data JSON.

  • D-Addicts Browser Percuma

    D-Addict adalah sumber pertama drama dan rancangan TV Asia di web: Jepun, Korea, Cina, Hong-Kong, Taiwan, drama Singapura dan rancangan TV. Mudah mengakses D-Addicts fail terbaru, dan carian. Buka halaman dalam pelayar lalai