DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems.

Lennon C. Chaves Iury Bessa Lucas C. Cordeiro Daniel Kroening

Published in: HSCC (2018)

Keyphrases

distributed systems
real time
relational databases
management system
mobile robot
image processing
artificial neural networks
medical images
information retrieval systems
intelligent systems
knowledge based systems
building blocks
retrieval systems