About

 


  1. HiFrog: SMT-based Function Summarization for Software Verification. Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even Mendoza, Grigory Fedyukovich, Antti Hyvarinen1, and Natasha Sharygina. 
  2. Incremental Upgrade Checking by Means of Interpolation-based Function Summaries . Ondrej Sery, Grigory Fedyukovich, and Natasha Sharygina