Publications

8 items

CV: Interactive Visualization of Verification Results

Video

Artifact

SANER 2026 Tool Demo track paper

Details PDF Artifact

Evaluating Key Elements of Error Traces in Static Software Verification (in Russian)

Artifact

Programmnaya Ingeneria, 2025, vol. 16, no. 11

Details DOI PDF Artifact

Combination of static verification methods for checking requirements composition (in Russian)

Proc. ISP RAS, vol. 29, issue 3

Details DOI PDF

On-the-fly decomposition of specifications in software model checking

Artifact

FSE 2016 conference paper

Details DOI PDF Artifact

Checking several requirements at once by CEGAR

Programming and Computing Software, Volume 42, Issue 4

Details DOI PDF

Checking several requirements at once by CEGAR

PSI 2015 conference paper

Details DOI PDF

Minimizing the number of static verifier traces to reduce time for finding bugs in Linux kernel modules

Proceedings of SYRCoSE 2014

Details DOI PDF

Thesis: Methods for Program Verification Based on the Composition of Reachability Tasks

Full Thesis Text (in Russian)

Details Link PDF