TY  - RPRT
TI  - Word-level Symbolic Trajectory Evaluation
AU  - Supratik Chakraborty
AU  - Zurab Khasidashvili
AU  - Carl-Johan H. Seger
AU  - Rajkumar Gajavelly
AU  - Tanmay Haldankar
AU  - Dinesh Chhatani
AU  - Rakesh Mistry
PY  - 2015
UR  - https://arxiv.org/abs/1505.07916
ID  - 1505.07916
ER  -