SMT-Based Modeling and Verification of Cloud Applications.

Xiyue Zhang Meng Sun

Published in: SERVICES (2019)

Keyphrases

genetic algorithm
website
cloud computing
neural network
information systems
three dimensional
expert systems
model checking
formal verification
asynchronous circuits
colored petri nets