Bu, en son sürümü est-1ed-1-2-Win-mish.exe olarak indirilebilen Efficient Symbolic Tools adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Efficient Symbolic Tools adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
Verimli Sembolik Araçlar
Ad
TANIM
Efficient Symbolic Tools paketi (EST), eşzamanlı sistemlerin resmi doğrulaması için BDD tabanlı bir araçtır. Avantajları esneklik, taşınabilirlik ve verimli bir bellek yönetimidir. Linux ve Windows 2000/XP dahil olmak üzere farklı işletim sistemi altında çalışır.
Seyirci
Eğitim, Bilim/Araştırma, Telekomünikasyon Endüstrisi
Kullanıcı arabirimi
Win32 (MS Windows), X Pencere Sistemi (X11)
Programlama dili
C, Tcl
Kategoriler
Bu, https://sourceforge.net/projects/est/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
