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!

Buďte první, kdo okomentuje tento záznam!