Detail publikačního výsledku

Computer Go as a Verification Case Study

KŘENA, B.

Originální název

Computer Go as a Verification Case Study

Anglický název

Computer Go as a Verification Case Study

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Formal verification, case study, the game of Go, computer Go.

Klíčová slova v angličtině

Formal verification, case study, the game of Go, computer Go.

Autoři

KŘENA, B.

Vydáno

12.09.2006

Nakladatel

Marq software s.r.o.

Místo

Ostrava

ISBN

80-86840-26-3

Kniha

Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems

Strany od

95

Strany do

100

Strany počet

6

BibTex

@inproceedings{BUT22258,
  author="Bohuslav {Křena}",
  title="Computer Go as a Verification Case Study",
  booktitle="Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems",
  year="2006",
  pages="95--100",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-26-3"
}