Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions

Author： Currie David Feng Xiushan Fujita Masahiro Hu Alan Kwan Mark Rajan Sreeranga

ISSN： 0885-7458

Source： International Journal of Parallel Programming, Vol.34, Iss.1, 2006-03, pp. : 61-91

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories

By Velev Miroslav N. Bryant Randal E.

International Journal of Embedded Systems, Vol. 1, Iss. 1-2, 2006-01 ,pp. : 134-149

Inderscience Publishers

Access to resources Recommend Favorite

Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems

By Wang Li-C Feng Tao Cheng Kwang-Ting (Tim) Abadir Magdy S. Pandey Manish

Design Automation for Embedded Systems, Vol. 8, Iss. 2-3, 2003-06 ,pp. : 173-188

Springer Publishing Company

Access to resources Recommend Favorite

Towards dependable development tools for embedded systems: a case study in software verification

By Petermann Uwe

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 489-498

Taylor & Francis Ltd

Access to resources Recommend Favorite

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

By Meseguer José

LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. : 123-160

Springer Publishing Company

Access to resources Recommend Favorite

A framework for secure execution of software

By Maña Antonio Lopez Javier Ortega Juan J. Pimentel Ernesto Troya Jose M.

International Journal of Information Security (IJIS), Vol. 3, Iss. 2, 2004-11 ,pp. : 99-112

Springer Publishing Company

Access to resources Recommend Favorite