QuickCheckVEngine

Tool

First seen 6/7/2026

Last seen 7/19/2026

Evidence 6 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

9 connections

TestRIG ← uses 100% 3e

QuickCheckVEngine is the verification engine used within the TestRIG infrastructure.

QuickCheck uses → 100% 2e

QuickCheckVEngine uses Haskell's QuickCheck library for test generation.

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

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

Counterexample Shrinking implements → 100% 2e

QuickCheckVEngine automatically shrinks divergences to minimal reproducers.

test shrinking implements → 1e

QuickCheckVEngine implements test shrinking to produce minimal reproducers.

RVFI-DII uses → 1e

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

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

TestRIG part of → 1e

QuickCheckVEngine is a component of the TestRIG ecosystem.

QuickCheckVEngine implements random instruction generation for verification.