Sign in

ParaMoC: A Parallel Model Checker for Pushdown Systems.

Hansheng WeiXin YeJianqi ShiYanhong 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