research
∙
08/13/2022
Automated Conversion of Axiomatic to Operational Models: Theory and Practice
A system may be modelled as an operational model (which has explicit not...
share
research
∙
08/07/2022
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
UCLID5 is a tool for the multi-modal formal modeling, verification, and ...
research
∙
03/09/2020
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification
Modern SoCs are heterogeneous parallel systems comprised of components d...
research
∙
08/26/2016