Login / Signup

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.

Weiqiang KongTomohiro ShiraishiYuki MizushimaNoriyuki KatahiraAkira FukudaMasahiko Watanabe
Published in: ICCSA Workshops (2010)
Keyphrases
  • bounded model checking
  • formal verification
  • state space
  • design process
  • transition matrix
  • orders of magnitude
  • model checking
  • control system
  • dynamic programming
  • software architecture
  • linear temporal logic