Explicit-State Model Checking of Concurrent x86-64 Assembly
TR Number
Date
2020-07-10
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Virginia Tech
Abstract
Description
Keywords
Partial Order Reduction, x86, Machine-Code Verification, Software Model Checking, Concurrency