Software Model Checking for Memory Consistency Verification

Optimization transformations performed by a compiler may violate memory consistency requirements for a multithreaded program. This leads to errors, when the program behavior will differ from expected. The memory consistency requirements for a particular programming language are called the memory mod...

Full description

Saved in:

Bibliographic Details
Published in:	Programming and computer software Vol. 51; no. 5; pp. 305 - 313
Main Authors:	Andrianov, P. S., Zelenov, S. V., Mutilin, V. S., Petrenko, A. K.
Format:	Journal Article
Language:	English
Published:	Moscow Pleiades Publishing 01.10.2025 Springer Nature B.V
Subjects:	Artificial Intelligence Compilers Computer Science Errors Formal method Hardware Java Language Operating Systems Optimization Programming languages Software Software Engineering Software Engineering/Programming and Operating Systems Software upgrading Variables Verification Virtual environments multithreading memory model memory consistency compiler optimizations multithreading errors
ISSN:	0361-7688, 1608-3261
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!