Experience of improving the blast static verification tool.

Pavel Shved Vadim S. Mutilin Mikhail U. Mandrykin

Published in: Program. Comput. Softw. (2012)

Keyphrases

decision trees
information technology
software tools
database
real time
neural network
model checking
user friendly