Analysis techniques

• Boundedness is decidable

with coverability tree

1000

Previous slide

Next slide

Back to first slide

View graphic version