Publications

Export 58 results:
Author [ Title(Desc)] Type Year
Filters: Tsitovich-sharygina-wintersteiger-kroening--2011-loop-summarization-and-termination-analysis.html is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Flexible Interpolation for Efficient Model Checking, Hyvärinen, Antti E. J., Alt Leonardo, and Sharygina Natasha , MEMICS 2016, (2016)
Flexible Interpolation with Local Proof Transformations, Bruttomesso, R., Rollini S.F., Sharygina Natasha, and Tsitovich A. , International Conference of Computer Aided Design (ICCAD), San Jose, USA, (2010)
A Flexible Schema for Generating Explanations in Lazy Theory Propagation, Bruttomesso, R., Pek E., and Sharygina Natasha , International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, France, (2010)
Function Summaries in Software Upgrade Checking, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)
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)
H
HiFrog: SMT-based Function Summarization for Software Verification, Alt, Leonardo, Asadi Sepideh, Chockler Hana, Even Mendoza Karine, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, (2017)
I
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK, (2012)
Incremental Verification of Compiler Optimizations, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , NASA Formal Methods (NFM), Houston, Texas, USA, (2014)
On Interpolants and Variable Assignments, Jancik, P., Kofronˇ J., Rollini S.F., and Sharygina Natasha , Formal Methods in Computer-Aided Design (FMCAD), Lausanne, Switzerland, (2014)
Interpolation Properties and SAT-based Model Checking, Gurfinkel, A., Rollini S. F., and Sharygina Natasha , 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), (2013)

Pages