Ito ang Linux app na pinangalanang REDLIB na ang pinakabagong release ay maaaring ma-download bilang redlib.a.130816.tar.gz. 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 REDLIB sa 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.
REDLIB
Ad
DESCRIPTION
* Model-checking/simulation-checking library para sa real-time na system na may mga dense-time na modelo sa C na may teknolohiyang CRD (Clock-Restriction Diagrams). * Parametric analysis library para sa linear-hybrid system sa C na may HRD (Hybrid-Restriction Diagram) technol
Mga tampok
- Symbolic mode-checking at simulation checking
- Pakikipag-ugnayan sa mga modelong naka-time na automata (CTA) at mga modelong linear-hybrid automata (LHA)
- Buksan ang library ng interface
- Pagsusuri ng modelo ng TCTL na may mga pagpapalagay sa pagiging patas
- CTA patas na simulation
- LHA parametric na pagsusuri sa kaligtasan
- Available ang GUI para sa pag-edit ng modelo at simbolikong simulation na may kontrol sa API
- Maraming magagamit na application, kabilang ang ompca (OpenMP C analyzer), pathg (symbolic simulator para sa CTA), sudoku solver, reachability graph constructor, atbp.
Audience
Teknolohiya ng Impormasyon, Agham/Pananaliksik, Edukasyon, Industriya ng Telekomunikasyon
Wika ng Programming
C
Kategorya
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/redlib/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
