Symbolic trajectory evaluation for word-level verification: theory and implementation
Journal article, 2017
Symbolic trajectory evaluation
Word-level verification
X-based abstraction
SMT solving
Author
S. Chakraborty
Indian Institute of Technology Bombay
Z. Khasidashvili
Intel Development Center, Israel
Carl-Johan Seger
Functional Programming
R. Gajavelly
Indian Institute of Technology Bombay
T. Haldankar
Indian Institute of Technology Bombay
D. Chhatani
Indian Institute of Technology Bombay
R. Mistry
Indian Institute of Technology Bombay
Formal Methods in System Design
0925-9856 (ISSN) 1572-8102 (eISSN)
Vol. 50 2-3 317-352Subject Categories
Software Engineering
Embedded Systems
Computer Systems
DOI
10.1007/s10703-017-0268-9