Implementing McMillan Prefixes AgainSt State Explosion

McMillan Prefixes is one of several Partial order reduction techniques used in reactive systems and protocol verification.

More informations will be added here soon.

This page has last been updated by Marcos E. Kurbán on 22nd August 2006.