Login / Signup

Symbolic trajectory evaluation for word-level verification: theory and implementation.

Supratik ChakrabortyZurab KhasidashviliCarl-Johan H. SegerRajkumar GajavellyTanmay HaldankarDinesh ChhataniRakesh Mistry
Published in: Formal Methods Syst. Des. (2017)
Keyphrases
  • word level
  • language independent
  • hidden markov models
  • n gram
  • document images
  • machine translation
  • character recognition