• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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