Login / Signup
A review of microservices autoscaling with formal verification perspective.
Siti Nuraishah Agos Jawaddi
Muhammad Hamizan Johari
Azlan Ismail
Published in:
Softw. Pract. Exp. (2022)
Keyphrases
</>
formal verification
model checking
automated verification
bounded model checking
model checker
symbolic model checking
viewpoint
literature review
functional verification
neural network
decision problems
temporal logic
fuzzy set theory