Skip to content
STIMSMITH

IBM Israel Technical Report 88.290

Paper
First seen 7/16/2026
Last seen 7/16/2026
Evidence 2 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
hardware implementation verification mentions → 95% 2e
The IBM Israel report describes a prior art tool for hardware implementation verification.
IBM Israel published by → 98% 1e
The technical report was published by IBM Israel.
machine state verification mentions → 90% 1e
The IBM Israel report describes a prior approach to machine state verification involving re-initialization.