Computer Go as a Verification Case Study

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66962" target="_blank" >RIV/00216305:26230/06:PU66962 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Computer Go as a Verification Case Study
Original language description
This paper discuss whether Computer Go can be understood as a verification case study. For finding the answer, we, at first, survey the area of formal verification then present the game of Go and attempts to play it by computers - Computer Go. After that, we compare underlying principles and optimizations methods used within formal verification and Computer Go. Evaluation of potential benefits of advancements in Computer Go for improving formal verification methods concludes the paper.
Czech name
Hraní Go počítačem jako verifikační případová studie
Czech description
Článek se snaží odpovědět na otázku, zda hraní hry Go počítačem může být chápáno jako verifikační případová studie. Nejdříve je uvedena oblast formální verifikace a představena hra Go a dosavadní pokusy o její hraní počítačem. Následně jsou porovnány principy a metody používané pro formalní verifikaci s Go programy. Článek uzavírá zhodnocení možných přínosů vývoje Go programů pro zlepšení metod formální verifikace.

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems
ISBN
80-86840-26-3
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
95-100
Publisher name
NEUVEDEN
Place of publication
Ostrava
Event location
Vranov (u Brna)
Event date
Sep 12, 2006
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)