Publications
Export 80 results:
Author Title Type [ Year
Filters: Author is Natasha Sharygina [Clear All Filters]
Loopfrog: A Static Analyzer for ANSI-C Programs,
, The 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, (2009)
A Scalable Decision Procedure for Fixed-Width Bit-Vectors,
, International Conference of Computer Aided Design (ICCAD), San Jose (CA), (2009)
The Synergy of Precise and Fast Abstractions for Program Verification,
, 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, USA, (2009)
Loop Summarization using Abstract Transformers,
, 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, South Korea, (2008)
Automated Verification of Security Policies in Mobile Code.,
, Integrated Formal Methods (IFM), (2007)
Pages
- « first
- ‹ previous
- 1
- 2
- 3
- 4