vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.

Jianan Hao Yang Liu Wentong Cai Guangdong Bai Jun Sun

Published in: ICFEM (2013)

Keyphrases

lightweight
complex systems
databases
management system
modeling method
modeling framework
neural network
information retrieval
information systems
distributed systems
formal model
formal methods
mathematical theory
dynamic aspects
data driven approaches