Katamaran: semi-automated verification of ISA specifications

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

Activity: Talk or presentationTalk or presentation at a workshop/seminar

Description

Extended abstract and presentation at the REMS-DeepSpec 2020 workshop.
Period16 Jun 2020
Event titleREMS-DeepSpec 2020
Event typeWorkshop
Degree of RecognitionInternational