Specification Language

• behavioral patterns and reactions

• expressive+robust type system for event data

  • network packets, system call argument

Previous slide

Next slide

Back to first slide

View graphic version