Follow
Andrey Kupriyanov
Title
Cited by
Cited by
Year
SLAB: A certifying model checker for infinite-state concurrent systems
K Dräger, A Kupriyanov, B Finkbeiner, H Wehrheim
International Conference on Tools and Algorithms for the Construction and …, 2010
502010
Array folds logic
P Daca, TA Henzinger, A Kupriyanov
International Conference on Computer Aided Verification, 230-248, 2016
222016
Causal termination of multi-threaded programs
A Kupriyanov, B Finkbeiner
International Conference on Computer Aided Verification, 814-830, 2014
182014
Causality-based verification of multi-threaded programs
A Kupriyanov, B Finkbeiner
International Conference on Concurrency Theory, 257-272, 2013
132013
Causality-based verification
A Kupriyanov
42016
Causality-based model checking
B Finkbeiner, A Kupriyanov
arXiv preprint arXiv:1710.03391, 2017
2017
Array Folds Logic
P law Daca, TA Henzinger, A Kupriyanov
arXiv preprint arXiv:1603.06850, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–7