Summary
Specification Language
- expressive, flexible, convenient
- example specifications
Runtime System
- syscall interception useful to enhance application funtionality without modifying source code
- security, fault-tolerance, performance,
Effectiveness and Performance
Fast pattern matching techniques