Sign in

Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic.

Shingo FukuokaYixiang ChenShaoying Liu
Published in: GSKI (1) (2017)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • model checker
  • artificial intelligence
  • data sets
  • rough sets
  • semi automatic
  • fully automatic
  • software application