General Decidability Theorems for Infinite-State Systems

  title={General Decidability Theorems for Infinite-State Systems},
  author={Parosh Aziz Abdulla and Karlis Cerans and Bengt Jonsson and Yih-Kuen Tsay},
Over the last few years there has been an increasing research eeort directed towards the automatic veriication of innnite state systems. For diierent classes of such systems (e.g., hybrid automata, data-independent systems, relational automata, Petri nets, and lossy channel systems) this research has resulted in numerous highly nontrivial algorithms. As the interest in this area increases, it will be important to extract common principles that underly these and related results. This paper is… CONTINUE READING
Highly Influential
This paper has highly influenced 53 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 542 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 259 extracted citations

542 Citations

Citations per Year
Semantic Scholar estimates that this publication has 542 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.