Verification of cloud system elasticity using BigMC.

Mahendra Pratap Yadav Nisha Pal Dharmendra Kumar Yadav

Published in: Int. J. Syst. Assur. Eng. Manag. (2022)

Keyphrases

model checking
formal verification
face verification
concurrent systems
fingerprint verification
formal analysis
multiresolution
functional verification
probabilistic model
databases
video sequences
database systems
web services
image processing
e learning
feature selection
data mining