Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. STP

STP 1022

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 2.8/5 - ‎14 ‎Oy
Indir

STP (Basit Teorem Prover): program analizi/test oluşturma araçları, model denetleyicileri, hata bulucular, donanım/yazılım resmi doğrulama araçları, akıllı bulanıklaştırıcılar tarafından oluşturulan formülleri veya kısıtlamaları kabul eden bir kısıt çözücü/karar prosedürü

sürüm geçmişi

  • Sürüm simplifyingSTP%20r1022 tarihinde gönderildi 2010-09-24
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm simplifyingSTP r1022 tarihinde gönderildi 2010-09-24

Program Detayları

İlgili Programlar

  • Javascript and CSS compress utility Ücret -siz

    Javascript kodunu sıkıştırmak ve gizlemek ve CSS kodunu sıkıştırmak için komut satırı aracı. (KJS dayanarak - Javascript kitaplığı KHTML dahil.)

  • EasySnuffle Ücret -siz

    EasySnuffle, protokol iletilerini, iç protokol durumlarını yakalamak ve ağ düğümlerindeki uygulama performansını ölçmek için bir ölçüm aracıdır. UDP, IP ve IEEE 802.11b MAC ölçüm probları uygulanmaktadır.

  • Open Streaming Server Ücret -siz

    Open Streaming Server dijital ortam dağıtımıdır. Ana özellikleri şunlardır: - Mp4, 3gp, WMF, QT dosyalarının akışı - Dinamik Bant Genişliği adaptasyonu - Yük dengeleme - İçerik dağıtım Teknolojisi: C++, Java ve CORBA.

  • Chilkat Encryption .NET Component Ücretsiz Deneme

    Chilkat Crypt .NET, hem RSA public-key sunan gelişmiş bir şifreleme bileşenidirdahil olmak üzere dijital imzalar ile şifreleme yanı sıra simetrik şifreleme algoritmalarıAES (Rijndael), Balon balığı ve Twofish. Kolayca d

  • Obfuscator for .NET framework Ücretsiz Deneme

    Skater .NET Obfuscator .NET kod koruması için bir gizleme aracıdır. Bilinen tüm yazılım koruma tekniklerini ve gizleme algoritmalarını uygular.Skater .NET Obfuscator .NET uygulama kodu koruması için kapsamlı bir profesyonel

  • Angel USB Clock Vol.2 Ücret -siz

    Cep telefonunuzu bir saate dönüştürür.Angel USB Clock, mobil pilinizi şarj ederken cep telefonunuzu analog bir saate dönüştüren bir uygulamadır ve #39;yeniden şarj edilir.[Özellikler]*Pil şarj edildiğinde otomatik olara

  • EMF Search Plugin Ücret -siz

    EMF Search Plugin -- Bu Eclipse 3.0 eklentisi, çalışma alanı kaynaklarına seri hale getirilmiş EMF model örnek verilerini aramak için uzmanlaşmış bir arama sayfası sağlar. Şu anda desteklenen düzenli metin aramaları ve XPath

  • PV Orientator Ücret -siz

    Güneş pilinizi dünyanın her yerinde ve her yerde optimum açıyla konumlandırın.-----------------------------------------------------------------------------------------------------------------Güneş Enerjisi kullanımı son zaman

  • Eclipse Json Editor Plugin Ücret -siz

    JSON Düzenleyici sağlayan Eclipse IDE için basit bir eklenti: - Renk metin vurgulama - Bir Outline Tree görünümü - JSON doğrulama - Metin biçimlendirme - Metin JSON veri biçimi için katlama.

  • D-Addicts Browser Ücret -siz

    D-Addict Web Asya dramalar ve TV şovları ilk kaynağıdır: Japon, Kore, Çin, Hong-Kong, Tayvan, Singapur dramaları ve TV şovları. Kolayca D-Addicts en son dosyaları erişin ve arama. Daha fazla ayrıntı için varsayılan tarayıcıda