Publication result detail

Computer Go as a Verification Case Study

KŘENA, B.

Original Title

Computer Go as a Verification Case Study

English Title

Computer Go as a Verification Case Study

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

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

Key words in English

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

Authors

KŘENA, B.

Released

12.09.2006

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-86840-26-3

Book

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

Pages from

95

Pages to

100

Pages count

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"
}