TY  - RPRT
TI  - HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
AU  - Lukáš Charvát
AU  - Aleš Smrčka
AU  - Tomáš Vojnar
PY  - 2016
DO  - 10.4204/eptcs.233.9
UR  - https://arxiv.org/abs/1612.04986
ID  - 1612.04986
ER  -