{
  "slug": "model-checking",
  "keyword": "model checking",
  "total": 2,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/model-checking",
  "feeds": [
    {
      "slug": "protocols-made-fun-com",
      "title": "Protocols Made Fun",
      "description": "All things about protocol specification, testing, and verification. Creative Commons Attribution 4.0 International License.",
      "siteUrl": "https://protocols-made-fun.com/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 4,
      "page": "https://rssamplifier.com/protocols-made-fun-com"
    },
    {
      "slug": "proofsandintuitions-net",
      "title": "Proofs and Intuitions",
      "description": "A blog about mathematics, computing, formal verification, and the ideas behind them",
      "siteUrl": "https://proofsandintuitions.net/",
      "kind": "blog",
      "itemCount": 7,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/proofsandintuitions-net"
    }
  ]
}