Follow
Aliaksei Tsitovich
Title
Cited by
Cited by
Year
The opensmt solver
R Bruttomesso, E Pek, N Sharygina, A Tsitovich
International Conference on Tools and Algorithms for the Construction andá…, 2010
1572010
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
942010
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction andá…, 2011
652011
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification andá…, 2008
622008
Loop summarization using state and transition invariants
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
Formal Methods in System Design 42 (3), 221-261, 2013
232013
Flexible interpolation with local proof transformations
R Bruttomesso, S Rollini, N Sharygina, A Tsitovich
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 770-777, 2010
192010
Resolution proof transformation for compression and interpolation
SF Rollini, R Bruttomesso, N Sharygina, A Tsitovich
Formal Methods in System Design 45 (1), 1-41, 2014
182014
Loopfrog: A static analyzer for ANSI-C programs
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
2009 IEEE/ACM International Conference on Automated Software Engineeringá…, 2009
172009
Loopfrog-loop summarization for static analysis.
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
WING@ ETAPS/IJCAR, 130-131, 2010
132010
An abstraction refinement approach combining precise and approximated techniques
N Sharygina, S Tonetta, A Tsitovich
International Journal on Software Tools for Technology Transfer 14 (1), 1-14, 2012
62012
Flexible interpolation generation in satisfiability modulo theories
R Bruttomesso, S Rollini, N Sharygina, A Tsitovich
Proceedings of the 14th International Conference on Computer-Aided Designá…, 2010
62010
The synergy of precise and fast abstractions for program verification
N Sharygina, S Tonetta, A Tsitovich
Proceedings of the 2009 ACM symposium on Applied Computing, 566-573, 2009
52009
Detection of security vulnerabilities using guided model checking
A Tsitovich
International Conference on Logic Programming, 822-823, 2008
52008
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk
N Sharygina, S Tonetta, A Tsitovich
Proceedings of the 8th international workshop on Specification andá…, 2009
12009
OpenSMT 0.2 System Description
R Bruttomesso, E Pek, N Sharygina, A Tsitovich
12009
Scalable abstractions for efficient security checks
A Tsitovich
UniversitÓ della Svizzera italiana, 2011
2011
OpenSMT 1.0 alpha System Description
R Bruttomesso, SF Rollini, N Sharygina, A Tsitovich
The system can't perform the operation now. Try again later.
Articles 1–17