Word-level Symbolic Trajectory Evaluation

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger +4

Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at…