activity
20182026
most citedInstruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification

48 citations · 51 across the 9 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning

Omer Rappoport, Orna Grumberg, Yakir Vizel

Deciding satisfiability of Constrained Horn Clauses (CHCs) modulo the theory of fixed-size bit-vectors () is fundamental to bit-precise program verification. However…