Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements.

Panagiotis Manolios Sudarshan K. Srinivasan

Published in: DATE (2004)

Keyphrases

website
semantic web
probabilistic model
web applications
model selection
data sets
web documents
experimental data
statistical models
classification models
web resources
neural network
information retrieval
knowledge base
information sources
statistical model