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á bibliografie

Vydáno v:	2016 International Conference on Frontiers of Information Technology (FIT) s. 193 - 198
Hlavní autoři:	Nawaz, M. Saqib, Ali, Hussam, Lali, M. Ikram Ullah
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.12.2016
Témata:	Algorithm design and analysis Automata Bakery algorithm Computational modeling Dekker algorithm Liveness LTL Mathematical model Model checking PROMELA Safety Software algorithms SPIN
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!