José A. Alonso on Nostr: The top-down solver verified: Building confidence in static analyzers. Yannick Stade, ...
Published at
2024-08-04 10:47:47Event JSON
{
"id": "3abac50a9594b11fcf7190d956b0e7b5127611c42cfac651b5d4f1524735f233",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1722768467,
"kind": 1,
"tags": [
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112903354313385458",
"activitypub"
]
],
"content": "The top-down solver verified: Building confidence in static analyzers. Yannick Stade, Sarah Tilscher \u0026 Helmut Seidl. https://link.springer.com/chapter/10.1007/978-3-031-65627-9_15 #ITP #IsabelleHOL",
"sig": "e712b74e64f41ea619ef3fddb2d54fe6302f292bdf8bb78447de64a2cead9d1b36baf981fb39c598cc7071fa255ef17841b28d9a4cf85b2a7cc10dde3e9015a0"
}
