Hierarchical SystemsReusability

Hierarchy can be exploited

Verification explodes!!

TACAS99

Previous slide

Next slide

Back to first slide

View graphic version