Predicate extension of symbolic memory graphs for the analysis of memory safety correctness
From MaRDI portal
Publication:2226974
DOI10.1134/S0361768820080071zbMath1467.68041OpenAlexW3006243345MaRDI QIDQ2226974
V. S. Mutilin, Aleksey A. Vasiliev
Publication date: 9 February 2021
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0361768820080071
Theory of operating systems (68N25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work