Crossmark

Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness

Published Online: 2020-12-22

Published Print: 2020-12

Authors

Vasilyev, A. A.

Mutilin, V. S.
License Information

Text and Data Mining valid from 2020-12-01

Version of Record valid from 2020-12-01
More Information

Article History

Received: 2 February 2020

Revised: 20 March 2020

Accepted: 30 March 2020

First Online: 22 December 2020

Document is current