Follow
Aliaksei Tsitovich
Title
Cited by
Cited by
Year
The opensmt solver
R Bruttomesso, E Pek, N Sharygina, A Tsitovich
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1752010
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
1012010
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
712008
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2011
682011
Loop summarization using state and transition invariants
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
Formal Methods in System Design 42, 221-261, 2013
302013
Resolution proof transformation for compression and interpolation
SF Rollini, R Bruttomesso, N Sharygina, A Tsitovich
Formal Methods in System Design 45, 1-41, 2014
212014
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
182010
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
182009
Loopfrog-loop summarization for static analysis.
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
WING@ ETAPS/IJCAR, 130-131, 2010
142010
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
72010
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-14, 2012
62012
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
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 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
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