Open AccessReflections on the Experimental Evaluation of a Binary-Level Symbolic Analyzer for Spectre
Author(s) -
Lesly-Ann Daniel,
Sébastien Bardin,
Tamara Rezk
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.14722/laser-ndss.2021.24286
Subject(s) - spectrum analyzer , binary number , computer science , the symbolic , arithmetic , mathematics , telecommunications , psychology , psychoanalysis