Reasoning and Verification: State of the Art and Current Trends

In this article, the authors give an overview of tool-based verification of hardware and software systems and discuss the relation between verification and logical reasoning. Here, "verification"' refers to reasoning-based methods to establish dependability. This isn't restricted...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE intelligent systems Jg. 29; H. 1; S. 20 - 29
Hauptverfasser: Beckert, Bernhard, Hahnle, Reiner
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Los Alamitos IEEE 01.01.2014
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
Artificial intelligence
Cognition
Cognition & reasoning
Computer programs
deduction and theorem proving
Hardware
hardware verification
Intelligent systems
Knowledge based systems
Logic design
Logic programming
Program verification (computers)
Reasoning
reasoning about programs
Software
software/program verification
State of the art
Trends
Verification
ISSN:1541-1672, 1941-1294
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this article, the authors give an overview of tool-based verification of hardware and software systems and discuss the relation between verification and logical reasoning. Here, "verification"' refers to reasoning-based methods to establish dependability. This isn't restricted to proofs of functional correctness; it also includes other scenarios such as test generation and bug finding. The authors describe the main verification scenarios and methods that are in use today and the extent to which they depend on logical reasoning. From this discussion, they distill current trends and new opportunities for the interaction between verification and reasoning.
Bibliographie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ISSN:1541-1672
1941-1294
DOI:10.1109/MIS.2014.3