Top

International Journal of Parallel Programming

Published in:

01-03-2006

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions

Authors: David Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga Rajan

Published in: International Journal of Parallel Programming | Issue 1/2006

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article Verification of System Level Model Transformations

next article Efficient Techniques for Automatic Verification-Oriented Test Set Optimization

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Title: Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
Authors: David Currie
Xiushan Feng
Masahiro Fujita
Alan J. Hu
Mark Kwan
Sreeranga Rajan
Publication date: 01-03-2006
Publisher: Springer US
Published in: International Journal of Parallel Programming / Issue 1/2006
Print ISSN: 0885-7458
Electronic ISSN: 1573-7640
DOI: https://doi.org/10.1007/s10766-005-0004-8

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 1/2006

Verification Approach of Metropolis Design Framework for Embedded Systems

Guest Editor’s Introduction

Verification of System Level Model Transformations

Efficient Techniques for Automatic Verification-Oriented Test Set Optimization

Premium Partner