## More Infinite Results (1997)

Citations: | 38 - 2 self |

### BibTeX

@MISC{Burkart97moreinfinite,

author = {Olaf Burkart and Javier Esparza},

title = {More Infinite Results},

year = {1997}

}

### Years of Citing Articles

### OpenURL

### Abstract

Recently there has been a spurt of activity in concurrency theory centred on the analysis of infinite-state systems. The following two problems have been intensely investigated: (1) given two infinite-state systems, are they equal with respect to a certain equivalence notion?, and (2) given an infinite-state system and a property expressed in a certain temporal logic, does the system satisfy the property? In his paper "Infinite Results" [Mol96] , Moller surveys some of the key results on the decidability and complexity of problem (1). This paper is a survey on the results about problem (2). 1 Introduction Most techniques for the verification of concurrent systems proceed by an exhaustive traversal of the state space. Therefore, they are inherently incapable of considering systems with infinitely many states. Recently, some methods have been developed to overcome this limitation, at least for restricted classes of infinite-state systems. Using them, several verification problems have b...