Survey of memory modeling methods in static verification tools

by M. U. Mandrykin, V. S. Mutilin
Published 2018-10-01

Modeling Memory with Uninterpreted Functions for Predicate Abstractions

by M. U. Mandrykin, V. S. Mutilin
Published 2018-10-01

Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions

by A. R. Volkov, M. U. Mandrykin
Published 2018-10-01

Towards Deductive Verification of C Programs with Shared Data

by M. U. Mandrykin, A. V. Khoroshilov
Published 2018-10-01

Formal Verification of Linux Kernel Library Functions

by D. V. Efremov, M. U. Mandrykin
Published 2018-10-01

Introduction to CEGAR —Counter-Example Guided Abstraction Refinement

by M. U. Mandrykin, V. S. Mutilin, A. V. Khoroshilov
Published 2018-10-01

Static Verification Tools for C Programs and Linux Device Drivers: A Survey

by M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov
Published 2018-10-01

Configurable Toolset for Static Verification of Operating Systems Kernel Modules

by I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Published 2018-10-01