Modeling and Synthesis of Linux DMA Device Drivers using HOL4
TR Number
Date
2024-05-31
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Virginia Tech
Abstract
Description
Keywords
Linux Device Drivers, State Machines, HOL4 Modeling, Device Driver Synthesis