Initial Steps Towards Assessing the Usability of a Verification Tool.

Mansur Khazeev Victor Rivera Manuel Mazzara Leonard Johard

Published in: SEDA (2016)

Keyphrases

model checking
software tools
data sets
real world
computer vision
decision making
formal verification
person identification
asynchronous circuits