Symbolic trajectory evaluation for word-level verification: theory and implementation
Artikel i vetenskaplig tidskrift, 2017
Symbolic trajectory evaluation
Word-level verification
X-based abstraction
SMT solving
Författare
S. Chakraborty
Indian Institute of Technology Bombay
Z. Khasidashvili
Intel Development Center, Israel
Carl-Johan Seger
Funktionell programmering
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-352Ämneskategorier
Programvaruteknik
Inbäddad systemteknik
Datorsystem
DOI
10.1007/s10703-017-0268-9