Demo: a design studio for verification tools.

Tamás Kecskés Patrik Meijer Taylor T. Johnson Marcus Lucas

Published in: DESTION@CPSIoTWeek (2019)

Keyphrases

formal methods
data sets
end users
decision support
software tools
design studio
artificial intelligence
case study
face recognition
user interface
model checking
user friendly