• Model checking
  • Pattern manager