Anton Volkov

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

First Order Logic

Model Selection

Experimental Data

Statistical Models

Top Venues

Publications

Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). TACAS (2) (2017)