00

QuickCheckVEngine

Tool ☆ WATCH ⎘ SHARE

First seen 6/7/2026

Last seen 7/19/2026

Evidence 6 chunks

01

NEIGHBORHOOD

6 nodes · 10 edges

graph · QuickCheckVEngine · depth=1

02

RELATIONSHIPS

9 connections

TestRIG ← uses 100% 3e evidence

QuickCheckVEngine is the verification engine used within the TestRIG infrastructure.

QuickCheck uses → 100% 2e evidence

QuickCheckVEngine uses Haskell's QuickCheck library for test generation.

UCAM-CL-TR-984 ← uses 100% 2e evidence

QuickCheckVEngine is used as the verification engine within TestRIG for testing the CHERI processor implementations.

Counterexample Shrinking implements → 100% 2e evidence

QuickCheckVEngine automatically shrinks divergences to minimal reproducers.

test shrinking implements → 1e evidence

QuickCheckVEngine implements test shrinking to produce minimal reproducers.

RVFI-DII uses → 1e evidence

QuickCheckVEngine connects to RISC-V implementations via the RVFI-DII interface.

Static Test Suite Generation implements → 90% 1e evidence

QuickCheckVEngine's shrinking mechanism is used to generate static test suites.

TestRIG part of → 1e evidence

QuickCheckVEngine is a component of the TestRIG ecosystem.

Random Instruction Generation implements → 1e evidence

QuickCheckVEngine implements random instruction generation for verification.