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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE intelligent systems Ročník 29; číslo 1; s. 20 - 29
Hlavní autoři: Beckert, Bernhard, Hahnle, Reiner
Médium: Journal Article
Jazyk:angličtina
Vydáno: Los Alamitos IEEE 01.01.2014
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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