Project Description

Problem and motivation. NVMe devices have complex behaviors. Edge cases are difficult to reach and hard to reproduce. Our client needs a way to describe intended behavior precisely and test real hardware consistently.

Our approach. We write formal specifications that capture valid sequences and constraints. We generate concrete traces from those specifications, turn them into NVMe commands, and execute them with logging and safeguards. The outcome is a run that is repeatable and easy to analyze.

The initial concept for this project was provided by our client, in the form of a Capstone project proposal. This site explains what we actually designed and produced through collaboration.

Context

ReLiANT supports a workflow that starts with correctness and ends with useful device feedback. The focus is on confidence and reproducibility while keeping the tooling simple to operate.