Sign in

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.

Zhiqiang ZuoJohn ThorpeYifei WangQiuhong PanShenming LuKai WangGuoqing Harry XuLinzhang WangXuandong Li
Published in: EuroSys (2019)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • model checking
  • action sets
  • probabilistic model
  • context free