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

Full description

Bibliographic Details

Published in:	2016 International Conference on Frontiers of Information Technology (FIT) pp. 193 - 198
Main Authors:	Nawaz, M. Saqib, Ali, Hussam, Lali, M. Ikram Ullah
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.12.2016
Subjects:	Algorithm design and analysis Automata Bakery algorithm Computational modeling Dekker algorithm Liveness LTL Mathematical model Model checking PROMELA Safety Software algorithms SPIN
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!