Publications
Export 6 results:
Author Title [ Type] Year Filters: First Letter Of Title is A and Author is Natasha Sharygina [Clear All Filters]
Accurate Smart Contract Verification through Direct Modelling,
, ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, (2020)
Automated Discovery of Simulation Between Programs,
, LPAR, (2015)
Automated Verification of Security Policies in Mobile Code.,
, Integrated Formal Methods (IFM), (2007)
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs,
, CoRR, Volume April 2013, (2013)
An abstraction refinement approach combining precise and approximated techniques,
, International Journal on Software Tools for Technology Transfer (STTT), Volume 14, (2012)
An abstraction refinement approach combining precise and approximated techniques,
, International Journal on Software Tools for Technology Transfer (STTT), Volume 14, p.1-14, (2012)