1.0ATVA 2024, Kyoto, Japanhttps://atva-conference.org/2024gulu0724https://atva-conference.org/2024/author/gulu0724/rich600338<blockquote class="wp-embedded-content" data-secret="iKHnS0av0F"><a href="https://atva-conference.org/2024/">ATVA 2024 – 22nd International Symposium on Automated Technology for Verification and Analysis</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="https://atva-conference.org/2024/embed/#?secret=iKHnS0av0F" width="600" height="338" title="“ATVA 2024 – 22nd International Symposium on Automated Technology for Verification and Analysis” — ATVA 2024, Kyoto, Japan" data-secret="iKHnS0av0F" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script type="text/javascript"> /* <![CDATA[ */ /*! This file is auto-generated */ !function(d,l){"use strict";l.querySelector&&d.addEventListener&&"undefined"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!/[^a-zA-Z0-9]/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret="'+t.secret+'"]'),o=l.querySelectorAll('blockquote[data-secret="'+t.secret+'"]'),c=new RegExp("^https?:$","i"),i=0;i<o.length;i++)o[i].style.display="none";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute("style"),"height"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):"link"===t.message&&(r=new URL(s.getAttribute("src")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener("message",d.wp.receiveEmbedMessage,!1),l.addEventListener("DOMContentLoaded",function(){for(var e,t,s=l.querySelectorAll("iframe.wp-embedded-content"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute("data-secret"))||(t=Math.random().toString(36).substring(2,12),e.src+="#?secret="+t,e.setAttribute("data-secret",t)),e.contentWindow.postMessage({message:"ready",secret:t},"*")},!1)))}(window,document); //# sourceURL=https://atva-conference.org/2024/wp-includes/js/wp-embed.min.js /* ]]> */ </script> The proceedings are now available from Springer: Part I and Part II. The videos of the APLAS-ATVA 2024 keynote talks and tutorials are on YouTube. ATVA 2024 is the 22nd International Symposium on Automated Technology for Verification and Analysis, dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and…https://i0.wp.com/atva-conference.org/2024/wp-content/uploads/2024/04/DENSO_-smalltagline_2lines_Red_RGB_1280.png?fit=1280%2C700&ssl=11280700