Handling state space explosion in verification of component-based systems: A review.

Faranak Nejati Abdul Azim Abdul Ghani Keng-Yap Ng Azmi Jaafar

Published in: CoRR (2017)

Keyphrases

state space
distributed systems
model checking
databases
complex systems
heuristic search
formal methods
knowledge base
reinforcement learning
intelligent systems
building blocks
automated verification