Redirecting to https://drupal.darpa.mil/research/research-spotlights/formal-methods/examples.