Skip to content
STIMSMITH

SMV model checker

Tool
First seen 6/11/2026
Last seen 6/11/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates ← mentions 95% 2e
The paper mentions the SMV model checker as used by related work.
Specification-Driven Directed Test Generation for Validation of Pipelined Processors ← uses 90% 2e
The related paper uses the SMV model checker to generate counterexamples.
Micro-Architecture Coverage Directed Generation of Test Programs ← uses 80% 1e
The FSM traversal technique has developers create microprocessor models using SMV language.