Login / Signup

Efficient debugging in a formal verification environment.

Fady CoptyAmitai IrronOsnat WeissbergNathan P. KroppGila Kamhi
Published in: Int. J. Softw. Tools Technol. Transf. (2003)
Keyphrases
  • formal verification
  • model checking
  • real time
  • automated verification
  • artificial intelligence
  • cost effective
  • neural network
  • object oriented
  • domain specific
  • virtual world
  • programming environment
  • program slicing