Efficient Run-time Monitoring

• matching even a single pattern may be expensive

  • need to deal with sequencing, closure etc

• potentially many patterns in each specification

  • linear increase in matching time with number of patterns is undesirable

• How can we speed up pattern-matching?

• Can we bound the memory usage?

Previous slide

Next slide

Back to first slide

View graphic version