Ito ang Linux app na pinangalanang Concurrency Workbench NC na ang pinakabagong release ay maaaring ma-download bilang cwb-nc.zip. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Concurrency Workbench NC kasama ang OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
Concurrency Workbench NC
Ad
DESCRIPTION
Ang Concurrency Workbench of the New Century (CWB-NC) ay nagbibigay ng suporta para sa awtomatikong pag-verify ng mga kasabay na software system. Ang tool ay nagbibigay-daan sa gumagamit na magsulat ng isang paglalarawan ng system na nasa kamay sa isa sa ilang mga wika ng disenyo (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Higit pa rito, sinusuportahan nito ang iba't ibang mga automated na pag-verify at mga diskarte sa pagsusuri upang suriin kung ang system ay sumusunod sa mga detalye nito.Kabilang sa mga pamamaraan ng pag-verify at pagsusuri ay:
- Pag-verify na Batay sa Ugali-Kaugnayan
- Pag-verify na Batay sa Temporal-Logic
- Interactive na Simulation
- Pagsusuri sa kakayahang maabot
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/cwb-nc/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
