{"version":"1.0","type":"rich","provider_name":"Edgepedia","provider_url":"https://www.edgepedia.org/","title":"Counterexample-guided abstraction refinement","html":"<iframe data-edgepedia-card src=\"https://www.edgepedia.org/embed/epwtz1ssdx?theme=auto\"\n  title=\"Edgepedia: Counterexample-guided abstraction refinement\" loading=\"lazy\" referrerpolicy=\"no-referrer\"\n  sandbox=\"allow-scripts allow-same-origin allow-popups allow-popups-to-escape-sandbox\"\n  style=\"width:100%;height:360px;border:0\"></iframe>\n<p>&ldquo;<a href=\"https://www.edgepedia.org/counterexample-guided-abstraction-refinement\">Counterexample-guided abstraction refinement</a>&rdquo;, Edgepedia (EdgeChat)</p>\n<script async src=\"https://www.edgepedia.org/assets/edgepedia-embed.js\" referrerpolicy=\"no-referrer\"></script>","width":600,"height":360,"cache_age":3600}