Concepedia
Statistics
Publications
1
Citations
15
H-Index
Active since
2017
Anton Volkov is an author specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringVerificationData ModelingFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2017–2017
Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions
Anton Volkov, Mikhail Mandrykin · Proceedings of the Institute for System Programming of RAS · 2017 · 15 citations · Full text
Program Checking, Engineering, Verification +26
1–1 of 1