@misc{indiciaec92a1becb7a9,
  title = {Word-level Symbolic Trajectory Evaluation},
  author = {Supratik Chakraborty and Zurab Khasidashvili and Carl-Johan H. Seger and Rajkumar Gajavelly and Tanmay Haldankar and Dinesh Chhatani and Rakesh Mistry},
  year = {2015},
  url = {https://arxiv.org/abs/1505.07916},
  note = {Source identifier: 1505.07916}
}