Paper published in a journal (Scientific congresses and symposiums)
Verifying Systems with Infinite but Regular State Spaces
Wolper, Pierre; Boigelot, Bernard
1998In Lecture Notes in Computer Science, 1427, p. 88-97
 

Files


Full Text
WB98.pdf
Author preprint (269.85 kB)
Download

The original publication is available at www.springerlink.com


All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
verification; infinite state spaces; symbolic representations
Abstract :
[en] Thanks to the development of a number of efficiency enhancing techniques, state-space exploration based verification, and in particular model checking, has been quite successful for finite-state systems. This has prompted efforts to apply a similar approach to systems with infinite state spaces. Doing so amounts to developing algorithms for computing a symbolic representation of the infinite state space, as opposed to requiring the user to characterize the state space by assertions. Of course, in most cases, this can only be done at the cost of forgoing any general guarantee of success. The goal of this paper is to survey a number of results in this area and to show that a surprisingly common characteristic of the systems that can be analyzed with this approach is that their state space can be represented as a regular language.
Disciplines :
Computer science
Author, co-author :
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Boigelot, Bernard  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Language :
English
Title :
Verifying Systems with Infinite but Regular State Spaces
Publication date :
1998
Event name :
Computer Aided Verification, 10th International Conference (CAV 1998)
Event place :
Vancouver, Canada
By request :
Yes
Audience :
International
Journal title :
Lecture Notes in Computer Science
ISSN :
0302-9743
eISSN :
1611-3349
Publisher :
Springer, Berlin, Germany
Volume :
1427
Pages :
88-97
Funders :
F.R.S.-FNRS - Fonds de la Recherche Scientifique [BE]
Available on ORBi :
since 03 November 2010

Statistics


Number of views
48 (2 by ULiège)
Number of downloads
339 (4 by ULiège)

Scopus citations®
 
106
Scopus citations®
without self-citations
100
OpenCitations
 
80

Bibliography


Similar publications



Contact ORBi