Research Issues

• Heuristics or approaches for model-checking “infinite-state” machines

• Scenario generation: how can a violation be distributed

• Generating minimal set of initial assumptions

• Model generation directly from source code

Previous slide

Next slide

Back to first slide

View graphic version