SAS2018 - Deductive Verification in Decidable Fragments with Ivy (by K. McMillan and O. Padon)

The invited tutorial talk "Deductive Verification in Decidable Fragments with Ivy" was given by Kenneth L. McMillan and Oded Padon at the Static Analysis Symposium (SAS) 2018. The paper is available at: https://link.springer.com/chapter/10.... For more information, see: http://staticanalysis.org/sas2018/sas...