Article (Scientific journals)
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
Godefroid, Patrice; Wolper, Pierre
1993In Formal Methods in System Design, 2 (2), p. 149-164
Peer Reviewed verified by ORBi
 

Files


Full Text
GW93-final draft.pdf
Author postprint (297.24 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Abstract :
[en] This article presents an algorithm for detecting deadlocks in concurrent finite-state systems without incurring most of the state explosion due to the modeling of concurrency by interleaving. For systems that have a high level of concurrency, our algorithm can be much more efficient than the classical exploration of the whole state space. Finally, we show that our algorithm can also be used for verifying arbitrary safety properties.
Disciplines :
Computer science
Author, co-author :
Godefroid, Patrice
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
Publication date :
1993
Journal title :
Formal Methods in System Design
ISSN :
0925-9856
eISSN :
1572-8102
Publisher :
Kluwer Academic Publishers
Volume :
2
Issue :
2
Pages :
149-164
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBi :
since 04 March 2014

Statistics


Number of views
46 (2 by ULiège)
Number of downloads
366 (0 by ULiège)

Scopus citations®
 
94
Scopus citations®
without self-citations
85
OpenCitations
 
77

Bibliography


Similar publications



Contact ORBi