Spec first
Validate behaviors in a formal model before working with devices.
ReLiANT
Reliable Logic and NVMe Testers
We convert formal specifications into executable NVMe test sequences and run them with a safe, repeatable workflow.
Executable tests
Turn validated traces into NVMe commands with full logging.
Replayable runs
Keep artifacts and configuration so results are repeatable.
Project at a glance
- Specification driven testing improves coverage and confidence
- Simple CLI with safe defaults for real hardware
- Logs and artifacts enable analysis and replay
