564 followers
RT @Jose_A_Alonso: The top-down solver verified: Building confidence in static analyzers. Yannick Stade, Sarah Tilscher & Helmut Seidl. htt…
RT @Jose_A_Alonso: The top-down solver verified: Building confidence in static analyzers. Yannick Stade, Sarah Tilscher & Helmut Seidl. htt…
The top-down solver verified: Building confidence in static analyzers. Yannick Stade, Sarah Tilscher & Helmut Seidl. https://t.co/opVxv1IQdJ #ITP #IsabelleHOL