Work

Software Model Checking for Memory Consistency Verification

Year: 2025

Type: article

Source: Programming and Computer Software

DOI: 10.1134/s0361768825700185

Authors: P. S. Andrianov, S. V. Zelenov, V. S. Mutilin, A. K. Petrenko

Institutions: Russian Academy of Sciences, Institute for System Programming, Moscow Institute of Physics and Technology, National Research University Higher School of Economics, Lomonosov Moscow State University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4414400334

FWCI: 2.45

Cites: 5

Cited by: 1

Related to: