Login / Signup

Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving.

Gongzheng LuHuaikou Miao
Published in: TASE (2013)
Keyphrases
  • theorem proving
  • first order logic
  • search algorithm
  • theorem prover
  • automated reasoning
  • parallel search