Explicit-State Model Checking of Concurrent x86-64 Assembly

TR Number

Date

2020-07-10

Journal Title

Journal ISSN

Volume Title

Publisher

Virginia Tech

Abstract

Description

Keywords

Partial Order Reduction, x86, Machine-Code Verification, Software Model Checking, Concurrency

Citation

Collections