Ikuti
Natasha Sharygina
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Email yang diverifikasi di usi.ch - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
SATABS: SAT-based predicate abstraction for ANSI-C
E Clarke, D Kroening, N Sharygina, K Yorav
International Conference on Tools and Algorithms for the Construction and …, 2005
4092005
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
2802004
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
2372004
The opensmt solver
R Bruttomesso, E Pek, N Sharygina, A Tsitovich
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1892010
Formal verification of SystemC by automatic hardware/software partitioning
D Kroening, N Sharygina
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005
1532005
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
1112005
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
1022010
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
882005
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
872008
Interpolation-based function summaries in bounded model checking
O Sery, G Fedyukovich, N Sharygina
Haifa verification conference, 160-175, 2011
792011
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
732018
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
732008
Symbolic model checking for asynchronous boolean programs
B Cook, D Kroening, N Sharygina
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA …, 2005
732005
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2011
722011
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
712012
Cogent: Accurate theorem proving for program verification
B Cook, D Kroening, N Sharygina
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
702005
OpenSMT2: An SMT solver for multi-core and cloud computing
AEJ Hyvärinen, M Marescotti, L Alt, N Sharygina
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
692016
Lazy abstraction with interpolants for arrays
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
International Conference on Logic for Programming Artificial Intelligence …, 2012
692012
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
692012
Dynamic component substitutability analysis
N Sharygina, S Chaki, E Clarke, N Sinha
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
662005
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20