Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.

Saved in:

Bibliographic Details
Title:	Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.
Authors:	Currie, David¹, Xiushan Feng², Fujita, Masahiro³, Hu, Alan J.², ajh@cs.ubc.ca, Kwan, Mark⁴, Rajan, Sreeranga⁵
Source:	International Journal of Parallel Programming; Feb2006, Vol. 34 Issue 1, p61-91, 31p, 4 Diagrams, 5 Charts
Database:	Applied Science & Technology Source

Description
ISSN:	08857458
DOI:	10.1007/s10766-005-0004-8