Equivalence-Checking on Infinite-State Systems: Techniques and Results
Antonin Kucera, Petr Jancar
TL;DR
This paper reviews recent techniques and results for equivalence-checking in infinite-state systems, providing an overview of methods and current findings as of 2004.
Contribution
It offers a comprehensive overview of the latest techniques and results in equivalence-checking for infinite-state systems, highlighting recent developments.
Findings
Summary of recent techniques for infinite-state equivalence-checking
Overview of key results achieved as of 2004
Identification of open challenges in the field
Abstract
The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Petri Nets in System Modeling · semigroups and automata theory