Concurrent Algorithms in SPIN Model Checker

Analysis and finding errors in concurrent software/system particularly when it is used in safety or industrial critical systems is gaining more and more attention. Software testing is an important technique for finding errors, however for concurrent algorithms, testing often does not ensure correctn...

Celý popis

Podrobná bibliografia

Vydané v:	2016 International Conference on Frontiers of Information Technology (FIT) s. 193 - 198
Hlavní autori:	Nawaz, M. Saqib, Ali, Hussam, Lali, M. Ikram Ullah
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.12.2016
Predmet:	Algorithm design and analysis Automata Bakery algorithm Computational modeling Dekker algorithm Liveness LTL Mathematical model Model checking PROMELA Safety Software algorithms SPIN
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!