{
  "slug": "formal-verification",
  "keyword": "formal verification",
  "total": 10,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/formal-verification",
  "feeds": [
    {
      "slug": "zfhuang99-github-io",
      "title": "Cheng Huang’s corner",
      "description": "a corner of learning and sharing",
      "siteUrl": "https://zfhuang99.github.io/",
      "kind": "blog",
      "itemCount": 7,
      "source": "category",
      "strength": 3,
      "page": "https://rssamplifier.com/zfhuang99-github-io"
    },
    {
      "slug": "tannerduve-github-io",
      "title": "Tanner Duve",
      "description": null,
      "siteUrl": "https://tannerduve.github.io/",
      "kind": "blog",
      "itemCount": 6,
      "source": "category",
      "strength": 3,
      "page": "https://rssamplifier.com/tannerduve-github-io"
    },
    {
      "slug": "x07lang-org-blog",
      "title": "X07 Blog",
      "description": "X07 Blog",
      "siteUrl": "https://x07lang.org/blog",
      "kind": "blog",
      "itemCount": 9,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/x07lang-org-blog"
    },
    {
      "slug": "royvanrijn-com",
      "title": "royvanrijn",
      "description": "Java, algorithms, math, science and more!",
      "siteUrl": "https://royvanrijn.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/royvanrijn-com"
    },
    {
      "slug": "royvanrijn-com-2",
      "title": "royvanrijn",
      "description": "Java, algorithms, math, science and more!",
      "siteUrl": "https://royvanrijn.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/royvanrijn-com-2"
    },
    {
      "slug": "gavinhoward-com",
      "title": "Gavin D. Howard",
      "description": null,
      "siteUrl": "https://gavinhoward.com/index.xml",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/gavinhoward-com"
    },
    {
      "slug": "blog-regehr-org",
      "title": "Embedded in Academia",
      "description": "John Regehr, Professor of Computer Science, University of Utah, USA",
      "siteUrl": "https://blog.regehr.org",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/blog-regehr-org"
    },
    {
      "slug": "feeds-feedburner-com-martinkl",
      "title": "Martin Kleppmann's blog",
      "description": null,
      "siteUrl": "http://martin.kleppmann.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/feeds-feedburner-com-martinkl"
    },
    {
      "slug": "joomy-korkutblech-com",
      "title": "joomy's blog",
      "description": null,
      "siteUrl": "http://joomy.korkutblech.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/joomy-korkutblech-com"
    },
    {
      "slug": "reubenbrooks-dev",
      "title": "Writing",
      "description": "Essays and notes.",
      "siteUrl": "https://reubenbrooks.dev/",
      "kind": "blog",
      "itemCount": 1,
      "source": "content",
      "strength": 1,
      "page": "https://rssamplifier.com/reubenbrooks-dev"
    }
  ]
}