Wednesday, March 19, 2008

The Usefulness of Bisimilarity Checking in Practice

I am collecting information as well as opinions on the practical usefulness of bisimulation checking. I feel that there are disparate views out there and they may be worth recounting. I plan to solicit opinions from experts in the verification community, but I am also interested in the thoughts on this topic of the readers of this blog. Feel free to email me your opinions or to post a comment. I would also appreciate receiving bibliographic references where the usefulness of bisimulation checking and bisimulation minimization are discussed.

Thanks in advance!

No comments: