Abstract
The challenge of model checking of isolated software components becomes more and more relevant with the boom of component oriented technologies [20]. An important issue here is how to verify an open model representing an isolated software component (also referred as the missing environment problem).
In this paper, we propose on-the-fly simulation of the component environment to address the issue.