{"type":"rich","version":1.0,"provider_name":"Speaker Deck","provider_url":"https://speakerdeck.com/","title":"形式手法特論：Hyperproperty とモデル検査 #kernelvm / Kernel VM Study Tokyo 19th","author_name":"y_taka_23","author_url":"https://speakerdeck.com/ytaka23","html":"\u003ciframe id=\"talk_frame_1584345\" class=\"speakerdeck-iframe\" src=\"https://speakerdeck.com/player/44e222bc104e4cfbb3dd3c91169d5a8e\" width=\"710\" height=\"399\" style=\"aspect-ratio:710/399; border:0; padding:0; margin:0; background:transparent;\" frameborder=\"0\" allowtransparency=\"true\" allowfullscreen=\"allowfullscreen\"\u003e\u003c/iframe\u003e\n","width":710,"height":399,"ratio":1.7777777777777777}