Symbolic trajectory evaluation for word-level verification: theory and implementation
Artikel i vetenskaplig tidskrift, 2017
X-based abstraction
SMT solving
Symbolic trajectory evaluation
Word-level verification
Författare
S. Chakraborty
Indian Institute of Technology
Z. Khasidashvili
Intel Development Center, Israel
Carl-Johan Seger
Funktionell programmering
R. Gajavelly
Indian Institute of Technology
T. Haldankar
Indian Institute of Technology
D. Chhatani
Indian Institute of Technology
R. Mistry
Indian Institute of Technology
Formal Methods in System Design
0925-9856 (ISSN) 1572-8102 (eISSN)
Vol. 50 2-3 317-352Ämneskategorier
Programvaruteknik
Inbäddad systemteknik
Datorsystem
DOI
10.1007/s10703-017-0268-9