Login / Signup

Rewriting for Symbolic Execution of State Machine Models.

J Strother Moore
Published in: CAV (2001)
Keyphrases
  • state machine
  • symbolic execution
  • neural network
  • case study
  • static analysis
  • programming language