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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE intelligent systems Vol. 29; no. 1; pp. 20 - 29
Main Authors: Beckert, Bernhard, Hahnle, Reiner
Format: Journal Article
Language:English
Published: Los Alamitos IEEE 01.01.2014
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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