Login / Signup

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

Weiqiang KongNoriyuki KatahiraWanpeng QianMasahiko WatanabeTetsuro KatayamaAkira Fukuda
Published in: ICCSA Workshops (2011)
Keyphrases
  • bounded model checking
  • transition matrix
  • model checking
  • markov chain
  • formal verification
  • evaluation function
  • transition probabilities