Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: Author is Sery, O. and First Letter Of Title is F  [Clear All Filters]
2011
Function Summaries in Software Upgrade Checking, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)
2012
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India, (2012)