Trust and Automation in Verification Tools.

Natarajan Shankar

Published in: ATVA (2008)

Keyphrases

formal methods
software tools
trust model
web pages
decision support
trust evaluation
artificial intelligence
end users
building blocks
open systems
verification method