Loading...
Loading...
Available on 1 platform
Sign in to view source links and access this dataset
A verification and visualization package designed to prove the structural safety and mathematical stability of the Davis Logic V2 framework under catastrophic hardware failures. The dataset includes automated C++ and Python tools for injecting faults and generating publication-ready graphics. It was authored by Jamie Davis and published on figshare in 2026.
The dataset is very small (4.9 KB) and consists of text files; users must have C++ and Python environments to utilize the described tools.