Follow
Aliaksei Tsitovich
Title
Cited by
Cited by
Year
The OpenSMT Solver.
R Bruttomesso, E Pek, N Sharygina, A Tsitovich
TACAS 6015, 150-153, 2010
1582010
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
962010
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
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
252013
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
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
Resolution proof transformation for compression and interpolation
SF Rollini, R Bruttomesso, N Sharygina, A Tsitovich
Formal Methods in System Design 45, 1-41, 2014
172014
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-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
ICLP 5366, 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
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