Concretization

Concept

First seen 7/6/2026

Last seen 7/6/2026

Evidence 3 chunks

NEIGHBORHOOD

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

3 connections

μARCHIFI ← uses 100% 2e

μARCHIFI uses concretization to split verification into sub-problems.

program counter uses → 95% 1e

Concretization uses the program counter to enumerate different execution paths.

SMT Solver uses → 95% 1e

Concretization uses an SMT solver to enumerate possible PC values.