1. 9
  1.  

  2. 2

    Suggest formalmethods, since this is a tool for doing static analysis on queries.