![](/img/cover-not-exists.png)
Symbolic trajectory evaluation for word-level verification: theory and implementation
Chakraborty, Supratik, Khasidashvili, Zurab, Seger, Carl-Johan H., Gajavelly, Rajkumar, Haldankar, Tanmay, Chhatani, Dinesh, Mistry, RakeshVolume:
50
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-017-0268-9
Date:
June, 2017
File:
PDF, 1.00 MB
english, 2017