Katamaran: semi-automated verification of ISA specifications

Keuchel, S. (Speaker), Devriese, D. (Contributor), Georgy Lukyanov (Contributor)

Activiteit: Talk or presentation at a workshop/seminar

Description

Extended abstract and presentation at the REMS-DeepSpec 2020 workshop.
Periode16 jun 2020
EvenementstitelREMS-DeepSpec 2020
EvenementstypeWorkshop
Mate van erkenningInternational