Publications
Export 3 results:
Author Title [ Type![(Desc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: Author is Karine Even Mendoza [Clear All Filters]
HiFrog: SMT-based Function Summarization for Software Verification,
, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, (2017)
Lattice-based SMT for program verification,
, International Conference on Formal Methods and Models for System Design, (MEMOCODE), (2019)
Theory Refinement for Program Verification,
, SAT 2017, Melbourne, Australia, (2017)