Keywords: static analysis | System Informatics

static analysis

Kuliamin V., Petrenko A., Khoroshilov A. Verification of Operating System Components // # 10, 2017

Kogtenkov A. Making void safety practical // # 10, 2017

Andrianov P., Mutilin V. Static Memory Consistency Constraints Checking // # 22, 2023

Ishchenko A. Enhancing Verification Condition Generation for Reflex Programs Through Simple Static Analysis // # 25, 2024

Search

по названию

по аннотации

по ключевым словам

по УДК

по автору

по году

по номеру

by title

by abstract

by keywords

by UDK

by author

by year

by issue