@inproceedings{Gao:2021:EFV,
  title = "End-to-End Formal Verification of a {RISC-V} Processor Extended with Capability Pointers",
  author = "Dapeng Gao and Tom Melham",
  year = "2021",
  booktitle = "Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design –- {FMCAD} 2021",
  editor = "Ruzica Piskac and Michael W.~Whalen",
  month = "October",
  pages = "24--33",
  publisher = "TUI Wien Academic Press",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Gao-2021-EFVG.pdf",
  volume = "2",
  doi = "10.34727/2021/isbn.978-3-85448-046-4_10",
}