Published September 2, 2023
| Version 1.0
Software documentation
Open
ThreadAbs: A Template to Build Verified Thread-local Interfaces with Software Scheduler Abstractions
Authors/Creators
- 1. Inha University
- 2. Yale University
- 3. Columbia University
Description
An HTML-converted artifact file for the CertiKOS and the extended works for the CertiKOS. The file contains identical materials with the CertiKOS artifact page.
Files
Files
(47.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9ed921f6f683c08be91d3a986bab7d76
|
47.9 MB | Download |
Additional details
Funding
- U.S. National Science Foundation
- SaTC: CORE: Small: Formal End-to-End Verification of Information-Flow Security for Complex Systems 1715154
- U.S. National Science Foundation
- Collaborative Research: Expeditions in Computing: The Science of Deep Specification 1521523