Login / Signup

An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.

Weiqiang KongTomohiro ShiraishiNoriyuki KatahiraMasahiko WatanabeTetsuro KatayamaAkira Fukuda
Published in: IEICE Trans. Inf. Syst. (2011)
Keyphrases
  • bounded model checking
  • transition matrix
  • model checking
  • markov chain
  • state space
  • formal verification
  • machine learning
  • cooperative
  • dynamic programming
  • markov decision process
  • linear temporal logic