Follow
Natasha Sharygina
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Verified email at usi.ch - Homepage
Title
Cited by
Cited by
Year
SATABS: SAT-based predicate abstraction for ANSI-C
E Clarke, D Kroening, N Sharygina, K Yorav
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
3912005
Predicate abstraction of ANSI-C programs using SAT
E Clarke, D Kroening, N Sharygina, K Yorav
Formal Methods in System Design 25, 105-127, 2004
2762004
State/event-based software model checking
S Chaki, EM Clarke, J Ouaknine, N Sharygina, N Sinha
Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004
2242004
The OpenSMT Solver.
R Bruttomesso, E Pek, N Sharygina, A Tsitovich
TACAS 6015, 150-153, 2010
1582010
Formal verification of SystemC by automatic hardware/software partitioning
D Kroening, N Sharygina
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005
1442005
Word level predicate abstraction and refinement for verifying RTL verilog
H Jain, D Kroening, N Sharygina, E Clarke
Proceedings of the 42nd annual Design Automation Conference, 445-450, 2005
1052005
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
962010
Concurrent software verification with states, events, and deadlocks
S Chaki, E Clarke, J Ouaknine, N Sharygina, N Sinha
Formal Aspects of Computing 17 (4), 461-483, 2005
872005
Cogent: Accurate theorem proving for program verification
B Cook, D Kroening, N Sharygina
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
682005
Loop Summarization and Termination Analysis.
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
TACAS 11, 81-95, 2011
672011
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
Automated Technology for Verification and Analysis: 6th International …, 2008
662008
Interpolation-based function summaries in bounded model checking
O Sery, G Fedyukovich, N Sharygina
Hardware and Software: Verification and Testing: 7th International Haifa …, 2012
652012
Symbolic model checking for asynchronous boolean programs
B Cook, D Kroening, N Sharygina
SPIN 1, 75-90, 2005
652005
Incremental upgrade checking by means of interpolation-based function summaries
O Sery, G Fedyukovich, N Sharygina
2012 Formal Methods in Computer-Aided Design (FMCAD), 114-121, 2012
632012
SAFARI: SMT-Based Abstraction for Arrays with Interpolants
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
632012
Dynamic component substitutability analysis
N Sharygina, S Chaki, E Clarke, N Sinha
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
632005
Lazy abstraction with interpolants for arrays
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
562012
Scoot: A Tool for the Analysis of SystemC Models
N Blanc, D Kroening, N Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
562008
Computing exact worst-case gas consumption for smart contracts
M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
522018
Verification of evolving software via component substitutability analysis
S Chaki, E Clarke, N Sharygina, N Sinha
Formal Methods in System Design 32, 235-266, 2008
492008
The system can't perform the operation now. Try again later.
Articles 1–20