Aceasta este aplicația Linux numită Concurrency Workbench NC a cărei cea mai recentă versiune poate fi descărcată ca cwb-nc.zip. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Concurrency Workbench NC cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
Concurrency Workbench NC
Ad
DESCRIERE
Concurrency Workbench of the New Century (CWB-NC) oferă suport pentru verificarea automată a sistemelor software concurente. Instrumentul permite utilizatorului să scrie o descriere a sistemului la îndemână într-unul dintre mai multe limbaje de proiectare (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). În plus, acceptă o varietate de tehnici automate de verificare și analiză pentru a verifica dacă sistemul respectă specificațiile sale.Printre tehnicile de verificare și analiză se numără:
- Verificare bazată pe relații comportamentale
- Verificare pe bază de logică temporală
- Simulare interactivă
- Analiza accesibilității
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/cwb-nc/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
