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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2016 International Conference on Frontiers of Information Technology (FIT) S. 193 - 198
Hauptverfasser:	Nawaz, M. Saqib, Ali, Hussam, Lali, M. Ikram Ullah
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.12.2016
Schlagworte:	Algorithm design and analysis Automata Bakery algorithm Computational modeling Dekker algorithm Liveness LTL Mathematical model Model checking PROMELA Safety Software algorithms SPIN
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!