The art of semi-formal bug hunting.

Pradeep Kumar Nalla Raj Kumar Gajavelly Jason Baumgartner Hari Mony Robert Kanzelman Alexander Ivrii

Published in: ICCAD (2016)

Keyphrases

real time
lower bound
knowledge base
medical images
real world
learning environment
information technology
formal analysis