Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions

David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan. Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. International Journal of Parallel Programming, 34(1):61-91, 2006. [doi]

Abstract

Abstract is missing.