ParaMoC: A Parallel Model Checker for Pushdown Systems.

Hansheng Wei Xin Ye Jianqi Shi Yanhong Huang

Published in: ICA3PP (2) (2019)

Keyphrases

model checking
model checker
formal methods
distributed systems
formal verification
data mining
web services
heuristic search
software architecture