@misc{indiciaee5d08db7cf16,
  title = {HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems},
  author = {Lukáš Charvát and Aleš Smrčka and Tomáš Vojnar},
  year = {2016},
  doi = {10.4204/eptcs.233.9},
  url = {https://arxiv.org/abs/1612.04986},
  note = {Source identifier: 1612.04986}
}