Bu, en son sürümü monpoly-1.1.10.tgz olarak indirilebilen MonPoly 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.
MonPoly 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.
tek poli
Ad
AÇIKLAMA
MonPoly, günlük dosyalarının MFOTL'deki (Metrik Birinci Derece Zamansal Mantık) formüllerle belirtilen ilkelere uygunluğunu kontrol eden bir prototip izleme aracıdır.
Kullanımı ve geçmişi de dahil olmak üzere araca genel bir bakış, Dosyalar sekmesinde bulunabilir: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
Araç, ETH Zürih'teki akademik bir projenin parçası olarak geliştirilmiştir. Proje hakkında daha fazla ayrıntı için lütfen aşağıdaki bağlantıyı ziyaret edin: http://www.infsec.ethz.ch/research/projects/mon_enf.
Geliştirme deposu şuraya taşındı: https://bitbucket.org/monpoly/monpoly.
Seyirci
Denetçiler, Testçiler
Kullanıcı arabirimi
Komut satırı
Programlama dili
OCaml (Hedef Caml)
Bu, https://sourceforge.net/projects/monpoly/ 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.
