IEEE - Institute of Electrical and Electronics Engineers, Inc. - Efficient Symbolic Simulation of Low Level Software

Design, Automation & Test in Europe. DATE'08

Author(s): T. Arons ; E. Elster ; S. Ozer ; J. Shalev ; E. Singerman
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2008
Conference Location: Munich, Germany
Conference Date: 10 March 2008
Page(s): 825 - 830
ISBN (CD): 978-3-9810801-4-8
ISBN (Paper): 978-3-9810801-3-1
DOI: 10.1109/DATE.2008.4484776
Regular:

Symbolic execution has long been a staple technique for formal hardware verification. Its application to software requires methods for dealing with software specific complexities. In this paper we... View More

Advertisement