Article (Scientific journals)
A Partial Approach To Model Checking
Godefroid, Patrice; Wolper, Pierre
1994In Information and Computation, 110 (2), p. 305-326
Peer Reviewed verified by ORBi
 

Files


Full Text
GW 94 IC.pdf
Author postprint (331.95 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
model-checking; partial-order; automata
Abstract :
[en] This paper presents a model-checking method for linear-time temporal logic that can avoid most of the state explosion due to the modelling of concurrency by interleaving. The method relies on the concept of Mazurkiewicz's trace as a semantic basis and uses automata-theoretic techniques, including automata that operate on words of ordinality higher than omega.
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
Language :
English
Title :
A Partial Approach To Model Checking
Publication date :
1994
Journal title :
Information and Computation
ISSN :
0890-5401
eISSN :
1090-2651
Publisher :
Academic Press, Inc., San Diego, United States - California
Volume :
110
Issue :
2
Pages :
305-326
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBi :
since 04 March 2014

Statistics


Number of views
48 (3 by ULiège)
Number of downloads
266 (1 by ULiège)

Scopus citations®
 
80
Scopus citations®
without self-citations
80
OpenCitations
 
68

Bibliography


Similar publications



Contact ORBi