Equivalence-Checking on Infinite-State Systems: Techniques and Results

Details Equivalence-Checking on Infinite-State Systems: Techniques and Results Equivalence-Checking on Infinite-State Systems: Techniques and Results

2005-05-10

arxiv.org/abs/cs/0505025v1

Computer Science

Logic in Computer Science

Scientific paper

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).

Affiliated with

Also associated with

No associations

Rating

Equivalence-Checking on Infinite-State Systems: Techniques and Results does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Equivalence-Checking on Infinite-State Systems: Techniques and Results, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Equivalence-Checking on Infinite-State Systems: Techniques and Results will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-312617