{
  "copyright": "Trusted System Lab ",
  "url": "https://formal-analysis.com/research/npat/",
  "format": "html",
  "license": "mit",
  "theme": "default",
  "gravatar": false
}