hwtypes

Tool

First seen 6/8/2026

Last seen 6/8/2026

Evidence 2 chunks

NEIGHBORHOOD

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

3 connections

The paper uses the hwtypes library associated with Magma for formal analysis.

Magma ← uses 100% 1e

Magma has first-class support for formal analysis through its associated hwtypes library.

bitvector theory implements → 100% 1e

hwtypes library semantics match those of the SMT-LIB theory of bitvectors.