{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@type": "Organization",
      "@id": "http://www.kestrel.edu/#organization",
      "name": "Kestrel Institute",
      "url": "http://www.kestrel.edu/",
      "description": "Kestrel Institute | Kestrel Institute Kestrel Institute Research People Careers Contact Kestrel Institute Kestrel Institute is a non-profit computer science research center, located in the Stanford Research Park in Palo Alto, California. Our research spans formal methods, program synthesis and refinement, program analysis and verification, theorem proving, and planning. Kestrel can provide formal methods assistance for software projects of all types."
    },
    {
      "@type": "WebPage",
      "@id": "https://asg.websdocs.com/directory/business/kestrel-institute#asg",
      "name": "Kestrel Institute ASG Directory Profile",
      "url": "https://asg.websdocs.com/directory/business/kestrel-institute",
      "isPartOf": {
        "@id": "http://www.kestrel.edu/#organization"
      },
      "description": "Static AI-readable public business profile published by the WebsDocs ASG Directory."
    }
  ]
}