ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ MonPoly ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ monpoly-1.1.10.tgz. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ MonPoly ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
MonPoly
DESCRIPTION:
MonPoly ເປັນເຄື່ອງມືການຕິດຕາມຕົ້ນແບບທີ່ກວດສອບການປະຕິບັດຕາມໄຟລ໌ບັນທຶກກ່ຽວກັບນະໂຍບາຍທີ່ລະບຸໄວ້ໂດຍສູດໃນ MFOTL (Metric First-Order Temporal Logic).
ພາບລວມຂອງເຄື່ອງມື, ລວມທັງການນຳໃຊ້ ແລະປະຫວັດຂອງມັນ, ສາມາດພົບໄດ້ພາຍໃຕ້ແຖບ Files: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
ເຄື່ອງມືດັ່ງກ່າວໄດ້ຖືກພັດທະນາເປັນສ່ວນຫນຶ່ງຂອງໂຄງການທາງວິຊາການທີ່ ETH Zurich. ກະລຸນາເຂົ້າໄປທີ່ລິ້ງຕໍ່ໄປນີ້ສຳລັບລາຍລະອຽດເພີ່ມເຕີມກ່ຽວກັບໂຄງການ: http://www.infsec.ethz.ch/research/projects/mon_enf.
ຫໍໄຕພັດທະນາໄດ້ຍ້າຍໄປ https://bitbucket.org/monpoly/monpoly.
Audience
ຜູ້ກວດສອບ, ຜູ້ທົດສອບ
ໃນການໂຕ້ຕອບຜູ້ໃຊ້
ເສັ້ນຄໍາສັ່ງ
ພາສາການຂຽນໂປຣແກຣມ
OCaml (objective Caml)
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/monpoly/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.