Modular Deductive Verification of Multiprocessor Hardware Designs.

Muralidaran Vijayaraghavan Adam Chlipala Arvind Nirav Dave

Published in: CAV (2) (2015)

Keyphrases

hardware designs
model based diagnosis
multiprocessor systems
database machines
modular structure
real time
neural network
computational complexity
object oriented
model checking
modular neural networks
abductive inference