CONCUR 2004 START ConferenceManager    

Comparing Infinite-State Systems with Their Finite-State Specifications

A. Kucera, Ph. Schnoebelen

Presented at Fifteenth International Conference on Concurrency Theory (CONCUR 2004), London, England, 31 August - 3 September, 2004


We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model checking problem against simple modal formulae. As an application, we derive decidability of several regular equivalence problems for well-known families of infinite-state systems.

START Conference Manager (V2.47.4)